Clifford Bergman Giora Slutzki Computational Complexity of Some Problems Involving Congruences on Algebras. 168-174 2000 LICS http://www.computer.org/proceedings/lics/0725/07250168abs.htm db/conf/lics/lics2000.html#BergmanS00