Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Consistency in Networks of Relations