Yuri Matiyasevich. Interval Computations as Propagation of Constraints. In Brian H. Mayoh, Enn Tyugu, Jaan Penjam, editors, Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993. Volume 131 of NATO ASI Series, pages 140-152, Springer, 1993. [doi]
Abstract is missing.