Schubert 1993c. Efficient algorithms for qualitative reasoning about time (0)

by A Gerevini, L K