j-amai-14-251

Javier Pinto and Ray Reiter. Reasoning about Time in the Situation Calculus. Annals of Mathematics and Artificial Intelligence, vol. 14 (1995), pp. 251-268.