Constraint propagation algorithms for temporal reasoning (1986)

by M Vilain, H Kautz
Venue:In Proceedings AAAI-86