Raymond Reiter. Natural Actions, Concurrency and Continuous Time in the Situation Calculus. In KR. pages 2-13, 1996.
@inproceedings{Reiter96:1, title = {Natural Actions, Concurrency and Continuous Time in the Situation Calculus}, author = {Raymond Reiter}, year = {1996}, researchr = {https://researchr.org/publication/Reiter96%3A1}, cites = {0}, citedby = {0}, pages = {2-13}, booktitle = {KR}, }