@InProceedings{Reiter93c,
  Title                    = {In formalizing database updates: preliminary report},
  Author                   = {Reiter, R.},
  Booktitle                = {Proc. of the 3rd International Conference on Extending
 Database Technology},
  Year                     = {1992},

  Address                  = {Vienna, Austria},
  Month                    = {March},
  Note                     = {Invited paper},
  Pages                    = {10--20},

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

{"_id":{"_str":"5342b4530e946d920a003329"},"__v":7,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-informalizingdatabaseupdatespreliminaryreport-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"In formalizing database updates: preliminary report","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"booktitle":"Proc. of the 3rd International Conference on Extending Database Technology","year":"1992","address":"Vienna, Austria","month":"March","note":"Invited paper","pages":"10–20","file":"edbt.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/edbt.pdf:PDF;edbt.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/edbt.ps:PostScript","key":"Reiter93c","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps.gz","timestamp":"2018.09.23","url":"edbt.pdf","bibtex":"@InProceedings{Reiter93c,\n Title = {In formalizing database updates: preliminary report},\n Author = {Reiter, R.},\n Booktitle = {Proc. of the 3rd International Conference on Extending\n Database Technology},\n Year = {1992},\n\n Address = {Vienna, Austria},\n Month = {March},\n Note = {Invited paper},\n Pages = {10--20},\n\n File = {edbt.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/edbt.pdf:PDF;edbt.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/edbt.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps.gz},\n Timestamp = {2018.09.23},\n Url = {edbt.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter93c","bibbaseid":"reiter-informalizingdatabaseupdatespreliminaryreport-1992","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/edbt.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["formalizing","database","updates","preliminary","report","reiter"],"title":"In formalizing database updates: preliminary report","year":1992,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}