1. Apt, K.R.: The essence of constraint propagation. Theoretical Computer Science 221(1-2), 179–210 (1999)
2. Bordeaux, L.: Résolution de problèmes combinatoire modélisés par des contraintes quantifiées, PhD thesis (2003)
3. Bordeaux, L.: Boolean and interval propagation for quantified constraints. In: Gent, I., Giunchiglia, E., Stergiou, K. (eds.) Workshop on Quantification in Constraint Programming, 2005, Barcelona, Spain (2005)
4. Bordeaux, L., Cadoli, M., Mancini, T.: CSP properties for quantified constraints: Definitions and complexity. In: Veloso, M.M., Kambhampati, S. (eds.) National Conference on Artificial Intelligence, pp. 360–365. AAAI Press, Stanford (2005)
5. Lecture Notes in Computer Science;L. Bordeaux,2002