@article{ Pirri99-ContSitCalc,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps}
}
,
  title = {Some Contributions to the Metatheory of the Situation Calculus}
}
,
  url = {metatheory.pdf}
}
,
  journal = {Journal of the ACM}
}
,
  author = {Pirri, Fiora and Reiter, Ray}
}
,
  number = {3}
}
,
  volume = {46}
}
,
  key = {CogRobo}
}
,
  year = {1999}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.pdf}
}
,
  pages = {261--325}
}