@inproceedings{ben-old-vel-94-cnst, author = {F. Benhamou and W. J. Older and A. Vellino}, title = {Constraint Logic Programming on Boolean, Integer, and Real Intervals}, booktitle = {Abstracts of the International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (INTERVAL/94)}, location = {St. Petersburg, Russia}, pages = {48--50}, year = 1994, month = apr }