j-ci-12-359L. Chittaro and A. Montanari.
Efficient Temporal Reasoning in the Cached Event Calculus.
Computational Intelligence, vol. 12, pp. 359-382.