1. Apt, K.R.: A proof theoretic view of constraint programming. Fundamenta Informaticae 33(3), 263–293 (1998), Available via http://arXiv.org/archive/cs/
2. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising hull and box consistency. In: Proceedings of the 16th International Conference on Logic Programming (ICLP 1999), pp. 230–244. MIT Press, Cambridge (1999)
3. Benhamou, F., Older, W.: Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming 32(1), 1–24
4. Granlund, T.: GNU MP, The GNU Multiple Precision Arithmetic Library, Edition 4.1.2. Swox AB (December 2002)
5. Harvey, W., Stuckey, P.J.: Improving linear constraint propagation by changing constraint representation. Constraints 8(2), 173–207 (2003)