publication venue for On the Descriptive Complexity of Groups without Abelian Normal Subgroups 2022 SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS 2022 THE SUBPOWER MEMBERSHIP PROBLEM FOR FINITE ALGEBRAS WITH CUBE TERMS 2019