1. Benhamou, F., McAllester, D., & van Hentenryck, P. (1994). CLP(intervals) revisited. In Proceedings of the International Logic Programming Symposium 94.
2. Benhamou, F., & Older, W. (1994). Applying interval arithmetic to real integer and boolean constraints. In Journal of Logic Programming.
3. Cooper, M. C. (1989). An optimal k-consistency algorithm. In Artificial Intelligence, 41.
4. Davis, E. (1987). Constraint propagation with interval labels. In Artificial Intelligence 32.
5. Dechter, R. (1990). From local to global consistency. In Proceedings of the 8th Canadian Conference on AI.