Manuel Bodirsky Jan Kára The Complexity of Equality Constraint Languages. 136-158 2008 43 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-9083-9 db/journals/mst/mst43.html#BodirskyK08