@InProceedings{Reiter92b,
  Title                    = {Formalizing database evolution in the situation
 calculus},
  Author                   = {Reiter, R.},
  Booktitle                = {Proc. of the International Conference on Fifth
 Generation Computer Systems},
  Year                     = {1992},

  Address                  = {Tokyo, Japan},
  Month                    = {June},
  Note                     = {Invited paper},
  Pages                    = {600--609},

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

{"_id":{"_str":"5342b4530e946d920a00332a"},"__v":9,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-formalizingdatabaseevolutioninthesituationcalculus-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formalizing database evolution in the situation calculus","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"booktitle":"Proc. of the International Conference on Fifth Generation Computer Systems","year":"1992","address":"Tokyo, Japan","month":"June","note":"Invited paper","pages":"600–609","file":"fgcs.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf:PDF;fgcs.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps:PostScript","key":"Reiter92b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz","timestamp":"2018.09.23","url":"fgcs.pdf","bibtex":"@InProceedings{Reiter92b,\n Title = {Formalizing database evolution in the situation\n calculus},\n Author = {Reiter, R.},\n Booktitle = {Proc. of the International Conference on Fifth\n Generation Computer Systems},\n Year = {1992},\n\n Address = {Tokyo, Japan},\n Month = {June},\n Note = {Invited paper},\n Pages = {600--609},\n\n File = {fgcs.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf:PDF;fgcs.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz},\n Timestamp = {2018.09.23},\n Url = {fgcs.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter92b","bibbaseid":"reiter-formalizingdatabaseevolutioninthesituationcalculus-1992","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/fgcs.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["formalizing","database","evolution","situation","calculus","reiter"],"title":"Formalizing database evolution in the situation calculus","year":1992,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}