@inproceedings{mat-85-post,
  author = {Yu. V. Matijasevich},
  title = {A Posteriori Interval Analysis},
  booktitle = {Lecture Notes in Computer Science},
  volume = {204},
  pages = {328--324},
  year = 1985,
  publisher = {Springer},
  altkeys = {Matijasevich-85}
}