N. Barnier and P. Brisset, FaCiLe: a Functional Constraint Library, CICLOPS'01, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938018

[. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising hull and box consistency Automatic aircraft conflict resolution using Genetic Algorithms, Proceedings of the 16th International Conference on Logic Programming (ICLP'99) 11th annual ACM conference on applied computing, pp.230-244, 1995.

D. , N. Durand, and J. Alliot, Optimal Resolution of En Route conflicts, Séminaire Europe, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00938232

[. Granvilliers, F. Goualard, and F. Benhamou, Box consistency through weak box consistency, Proceedings 11th International Conference on Tools with Artificial Intelligence, pp.373-380, 1999.
DOI : 10.1109/TAI.1999.809826

[. Lerch, G. Tischler, and J. Wolff-von-gudenberg, Filib++ -Interval Library, Specification and Reference Manual Comparison of packages for interval arithmetic, Zil05] Julius Zilinskas, pp.145-154, 2001.