Applying Interval Arithmetic to Real, Integer and Boolean Constraints,” (1997)

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