Constraint propagation algorithms for temporal reasoning
Maintaining knowledge about temporal intervals