1. Anderson, E. D., & Anderson, K. D. (1995). PresGolving in linear programming. Mathematical Programming, 71, 221–245.
2. Apt, K. R. (1999). The essence of constraint propagation. Theoretical Computer Science, 221(1), 179–210.
3. Babichev, A. B., Kadyrova, O. B., Kashevarova, T. P., Leshchenko, A. S., & Semenov, A. L. (1993). UniCalc, a novel approach to solving systems of algebraic equations. Interval Computations, 3, 29–47.
4. Benhamou, F. (1996). Heterogeneous constraint solving. In M. Hanus & M. Rodríguez-Artalejo (Eds.), Proceedings of ALP’96, 5th international conference on algebraic and logic programming. Lecture notes in computer science (Vol. 1139, pp. 62–76). Aachen: Springer.
5. Benhamou, F., Goualard, F., Granvilliers, L., & Puget, J. F. (1999). Revising hull and box consistency. In International conference on logic programming (pp. 230–244). citeseer.ist.psu.edu/benhamou99revising.html .