Heribert Vollmer, Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor. The Complexity of Problems for Quantified Constraints. Electronic Colloquium on Computational Complexity (ECCC), 14(023), 2007. [doi]
Abstract is missing.