Constraint satisfaction problems and finite algebras - Bulatov, A; Krokhin, A; Jeavons, P (2000)