publication venue for
- Polynomial-time tests for difference terms in idempotent varieties. 29:927-949. 2019
- OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT. 19:647-668. 2009
- ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS. 19:41-77. 2009
- A RESIDUALLY SMALL, FINITELY GENERATED, SEMI-SIMPLE VARIETY WHICH IS NOT RESIDUALLY FINITE. 06:563-569. 1996
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES. 02:89-101. 1992