P.: “Constraint propagation algorithms for temporal reasoning: a revised report (1989)

by M Vilain, H Kautz, van Beek
Venue:Readings in Qualitative Reasoning about Physical Systems; 373–381