Fiora Pirri Raymond Reiter Some Contributions to the Metatheory of the Situation Calculus. 325-361 1999 46 J. ACM 3 http://doi.acm.org/10.1145/316542.316545 db/journals/jacm/jacm46.html#PirriR99