Quantified constraints: algorithms and complexity - Börner, F; Bulatov, A; Jeavons, P; Krokhin, A (2003)