Jorge A. Baier. On Procedure Recognition in the Situation Calculus. In 22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile. pages 33-42, IEEE Computer Society, 2002. [doi]
@inproceedings{Baier02,
title = {On Procedure Recognition in the Situation Calculus},
author = {Jorge A. Baier},
year = {2002},
url = {http://csdl.computer.org/comp/proceedings/sccc/2002/1867/00/18670033abs.htm},
researchr = {https://researchr.org/publication/Baier02},
cites = {0},
citedby = {0},
pages = {33-42},
booktitle = {22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile},
publisher = {IEEE Computer Society},
isbn = {0-7695-1867-2},
}