1. A proof theoretic view of constraint programming;Apt;Fund. Inform.,1998
2. Vicious Circles: on the Mathematics of Circular Phenomena;Barwise,1996
3. Asynchronous iterative methods for multiprocessors;Baudet;J. ACM,1978
4. Heterogeneous constraint solving;Benhamou,1996
5. CLP(intervals) revisited;Benhamou,1994