Title: A generalized interval package and its use for semantic checking
Subjects: Algorithms