Efficient algorithms for qualitative reasoning about time (1995)

by A Gerevini, L Schubert
Venue:Artificial Intelligence