Luca Chittaro, Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Comput. Intell. 12: 359-382 (1996)