Quantified constraints: Algorithms and complexity - Borner, F; Bulatov, A; Jeavons, P; Krokhin, A (COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003)