"Encoding Quantified CSPs as Quantified Boolean Formulae."

Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics