Clifford Bergman Giora Slutzki Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras. 359-382 2000 30 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp30.html#BergmanS00