Constraint propagation algorithms for temporal reasoning (1986)

by Marc Vilain, Henry Kautz, Peter Beek
Venue:Readings in Qualitative Reasoning about Physical Systems