@InProceedings{Lin94b,
  Title                    = {How to progress a database (and why) {I}: {F}ormal
 foundations},
  Author                   = {F. Lin and R. Reiter},
  Booktitle                = {In Proc. Fourth International Conference on Principles
 of Knowledge Representation and Reasoning (KR-94)},
  Year                     = {1994},

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

{"_id":{"_str":"5342b4520e946d920a003310"},"__v":8,"authorIDs":["54594cc9b43425b77200045e","54595b5eb43425b7720004ab"],"author_short":["Lin, F.","Reiter, R."],"bibbaseid":"lin-reiter-howtoprogressadatabaseandwhyiformalfoundations-1994","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"How to progress a database (and why) I: Formal foundations","author":[{"firstnames":["F."],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"booktitle":"In Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94)","year":"1994","file":"progress1.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/progress1.pdf:PDF;progress1.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/progress1.ps:PostScript","key":"Lin94b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/progress1.ps.gz","timestamp":"2018.09.23","url":"progress1.pdf","bibtex":"@InProceedings{Lin94b,\n Title = {How to progress a database (and why) {I}: {F}ormal\n foundations},\n Author = {F. Lin and R. Reiter},\n Booktitle = {In Proc. Fourth International Conference on Principles\n of Knowledge Representation and Reasoning (KR-94)},\n Year = {1994},\n\n File = {progress1.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/progress1.pdf:PDF;progress1.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/progress1.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/progress1.ps.gz},\n Timestamp = {2018.09.23},\n Url = {progress1.pdf}\n}\n\n","author_short":["Lin, F.","Reiter, R."],"id":"Lin94b","bibbaseid":"lin-reiter-howtoprogressadatabaseandwhyiformalfoundations-1994","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/progress1.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["progress","database","formal","foundations","lin","reiter"],"title":"How to progress a database (and why) I: Formal foundations","year":1994,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}