Fiora Pirri, Raymond Reiter. Some Contributions to the Metatheory of the Situation Calculus. Journal of the ACM, 46(3):325-361, 1999. [doi]
@article{PirriR99,
title = {Some Contributions to the Metatheory of the Situation Calculus},
author = {Fiora Pirri and Raymond Reiter},
year = {1999},
doi = {10.1145/316542.316545},
url = {http://doi.acm.org/10.1145/316542.316545},
tags = {metatheory},
researchr = {https://researchr.org/publication/PirriR99},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {46},
number = {3},
pages = {325-361},
}