Peter Nightingale Non-binary quantified CSP: algorithms and modelling. 539-581 2009 14 Constraints 4 http://dx.doi.org/10.1007/s10601-009-9068-1 db/journals/constraints/constraints14.html#Nightingale09