Non-binary quantified CSP: algorithms and modelling

Peter Nightingale. Non-binary quantified CSP: algorithms and modelling. Constraints, 14(4):539-581, 2009. [doi]