TY  - RPRT
TI  - On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)
AU  - Joshua A. Grochow
AU  - Michael Levet
PY  - 2023
DO  - 10.4204/eptcs.390.12
UR  - https://arxiv.org/abs/2310.01007
ID  - 2310.01007
ER  -