A. Bulatov, V. Dalmau, M. Grohe, and D. Marx. STACS, volume 3 of LIPIcs, page 231-242. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
A. Bulatov, M. Grohe, P. Kolaitis, and A. Krokhin. The Constraint Satisfaction Problem: Complexity and Approximability, volume 09441 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)