Javier Pinto Raymond Reiter Reasoning About Time in the Situation Calculus. 251-268 1995 14 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai14.html#PintoR95