Ferdinand Börner Andrei A. Bulatov Hubie Chen Peter Jeavons Andrei A. Krokhin The complexity of constraint satisfaction games and QCSP. 923-944 2009 207 Inf. Comput. 9 http://dx.doi.org/10.1016/j.ic.2009.05.003 db/journals/iandc/iandc207.html#BornerBCJK09