1. Apt, K. (1997). A proof theoretic view of constraint programming, Technical report, CWI, Amsterdam. In preparation.
2. Barwise, J. and Moss, L. (1996). Vicious Circles: on the mathematics of circular phenomena, CSLI-Lecture Notes, Center for the Study of Language and Information, Stanford, California.
3. Benhamou, F. and Older, W. (1997). Applying interval arithmetic to real, integer and Boolean constraints, Journal of Logic Programming. Technical report 1994. To appear.
4. Benhamou, F., McAllester, D. and Hentenryck, P. V. (1994). CLP (intervals) revisited, in M. Bruynooghe (ed.), Proceedings of the 1994 International Logic Programming Symposium, pp. 124–138.
5. Chazan, D. and Miranker, W. (1969). Chaotic relaxation, Linear Algebra and its Applications
2: 199–222.