Pawel M. Idziak Keith A. Kearnes Emil W. Kiss Matthew Valeriote Definable principal congruences and solvability. 30-49 2009 157 Ann. Pure Appl. Logic 1 http://dx.doi.org/10.1016/j.apal.2008.09.019 db/journals/apal/apal157.html#IdziakKKV09