An efficient method for managing disjunctions in qualitative temporal reasoning (1994)

by A Gerevini, L Schubert
Venue:In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94