Applying interval arithmetic to real, integer and boolean constraints (1997)

by F Benhamou, W J Older
Venue:Journal of Logic Programming