James Allen defined a calculus of time intervals in [A1183], as a representation of temporal knowledge that could be used in AI. We shall call this the Interval Culculus. In his paper, Allen investigated specification and constraint satisfaction in the Interval Calculus. Other constraintsatisfaction algorithms for intervals have considered subclasses of Boolean formulas only. The methods herein...