The Design and Experimental Analysis of Algorithms for Temporal Reasoning. - Peter van Beek; Dennis W. Manchak (J. Artif. Intell. Res., 1996)