1. F. Benhamou, F. Goualard, L. Granvilliers, and J.F. Puget. Revising hull and box consistency. In Proceedings of the International Conference on Logic Programming, pages 230–244, 1999.
2. J.G. Cleary. Logical arithmetic. Future Computing Systems, 2(2):125–149, 1987.
3. D.W. Corne and J.D. Knowles. M-paes: a memetic algorithm for multiobjective optimization. In Proceedings of the 2000 Congres on Evolutionary Computation, pages 325–332, 2000.
4. E. Davis. Constraint propagation with interval labels. Artificial Intelligence, 32(3):281–331, 1987.
5. K. Deb. Multi-objective optimization using evolutionary algorithms. John Wiley, 2001.