c-kr-96-2

Ray Reiter. Natural Actions, Concurrency and Continuous Time in the Situation Calculus. Proc. International Conf on Knowledge Representation and Reasoning, 1996, pp. 2-13.