Constraint propagation algorithms for temporal reasoning: A revised report (1989)

by M B Vilain, H A Kautz, P van Beek
Venue:in D. Weld and J. de Kleer, eds, ‘Readings in Qualitative Reasoning about Physical Systems