Boerner, F., Bulatov, A., Jeavons, P., & Krokhin, A. (2003). Quantified constraints: Algorithms and complexity. In M. Baaz, & J. Makowsky (Eds.),