Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Networks of constraints : fundamental properties and applications to picture processing