1. Benhamou B., and Sais L. “Theoretical study of symmetries in propositional calculs and applications”, in proceedings of CADE 92 june 92.
2. Caseau Y, Puget JF, “Constraints on Order Sorted Domains”, submited.
3. Deville, Y., and Van Hentenryck, P, “An Efficient Arc Consistency Algorithm for a Class of CSP Problems”, in proceedings of IJCAI 1991, pp 325–330.
4. Gusgen, Hertzberg “Some fundamental properties of local propagation methods” Art. Int. pp 237–247, 1988.
5. Ilog, PECOS 1.2 reference manual, december 92 1992.