@Article{Pirri99-ContSitCalc,
  Title                    = {Some Contributions to the Metatheory of the Situation
 Calculus},
  Author                   = {Pirri, Fiora and Reiter, Ray},
  Journal                  = {Journal of the ACM},
  Year                     = {1999},
  Number                   = {3},
  Pages                    = {261--325},
  Volume                   = {46},

  File                     = {metatheory.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/metatheory.pdf:PDF;metatheory.ps:http\://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {metatheory.pdf}
}

{"_id":{"_str":"534279620e946d920a00156d"},"__v":11,"authorIDs":["54595b5eb43425b7720004ab","5469369bbc7d6a460d00121a"],"author_short":["Pirri, F.","Reiter, R."],"bibbaseid":"pirri-reiter-somecontributionstothemetatheoryofthesituationcalculus-1999","bibdata":{"bibtype":"article","type":"article","title":"Some Contributions to the Metatheory of the Situation Calculus","author":[{"propositions":[],"lastnames":["Pirri"],"firstnames":["Fiora"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"journal":"Journal of the ACM","year":"1999","number":"3","pages":"261–325","volume":"46","file":"metatheory.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/metatheory.pdf:PDF;metatheory.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps:PostScript","key":"Pirri99-ContSitCalc","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps.gz","timestamp":"2018.09.23","url":"metatheory.pdf","bibtex":"@Article{Pirri99-ContSitCalc,\n Title = {Some Contributions to the Metatheory of the Situation\n Calculus},\n Author = {Pirri, Fiora and Reiter, Ray},\n Journal = {Journal of the ACM},\n Year = {1999},\n Number = {3},\n Pages = {261--325},\n Volume = {46},\n\n File = {metatheory.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/metatheory.pdf:PDF;metatheory.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/metatheory.ps.gz},\n Timestamp = {2018.09.23},\n Url = {metatheory.pdf}\n}\n\n","author_short":["Pirri, F.","Reiter, R."],"id":"Pirri99-ContSitCalc","bibbaseid":"pirri-reiter-somecontributionstothemetatheoryofthesituationcalculus-1999","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/metatheory.pdf"},"metadata":{"authorlinks":{}},"downloads":7,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":7,"keywords":[],"search_terms":["contributions","metatheory","situation","calculus","pirri","reiter"],"title":"Some Contributions to the Metatheory of the Situation Calculus","year":1999,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}