Constraint satisfaction problems and finite algebras (2000)

by A Bulatov, P Jeavons, A Krokhin
Venue:In: Proceedings of the 27th International Coll. on Automata, Languages and ProgrammingICALP’00, LNCS 1853