@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
}