Quantified constraints: Algorithms and complexity (COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003)

(untitled) - Borner, F; Bulatov, A; Jeavons, P; Krokhin, A