generalized interval package and its use for semantic checking
By: Alan Bundy.
Contributors: University of Edinburgh. Department of Artificial Intelligence.
Series: D.A.I. Research paper -- no.217
Publisher: Department of Artificial Intelligence, University of Edinburgh
Published: 1984
Place of publication: (Edinburgh)
Language: eng
Number of pages: 16
Subjects: Algorithms.
Notes: "To appear in ACM Trans. Math. Software, 1984".

Bibliography, p15-16.