Csp properties for quantified constraints: Definitions and complexity (2005)

by L Bordeaux, M Cadoli, T Mancini
Venue:In Proc. of amer. conf. on artificial intelligence (AAAI