1. Aberth, O.: Precise Numerical Methods Using C++. Academic Press, Boston (1998)
2. Apt, K.R.: The Role of Commutativity in Constraint Propagation Algorithms. ACM Transactions on Programming Languages and Systems 22(6), 1002–1036 (2000)
3. Lecture Notes in Computer Science;F. Benhamou,2000
4. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: de Schreye, D. (ed.) Proceedings of ICLP 1999, International Conference on Logic Programming, Las Cruces, USA, pp. 230–244. MIT Press, Cambridge (1999)
5. Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) Revisited. In: Bruynooghe, M. (ed.) Proceedings of ILPS 1994, International Logic Programming Symposium, Ithaca, USA, pp. 124–138. MIT Press, Cambridge (1994)