@inproceedings{conf/kgc/BorgerR93,
  added-at = {2017-05-20T00:00:00.000+0200},
  author = {Börger, Egon and Rosenzweig, Dean},
  biburl = {https://www.bibsonomy.org/bibtex/2aea4c49a93887f1c8823fb0088fe331f/dblp},
  booktitle = {Kurt Gödel Colloquium},
  crossref = {conf/kgc/1993},
  editor = {Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele},
  ee = {https://doi.org/10.1007/BFb0022547},
  interhash = {70533d23b62669250b37efc3749c4aac},
  intrahash = {aea4c49a93887f1c8823fb0088fe331f},
  isbn = {3-540-57184-1},
  keywords = {dblp},
  pages = {1-13},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T16:45:56.000+0200},
  title = {The Mathematics of Set Predicates in Prolog.},
  url = {http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#BorgerR93},
  volume = 713,
  year = 1993
}

{"_id":"pK8Kde6dtJQCWL6rg","bibbaseid":"brger-rosenzweig-themathematicsofsetpredicatesinprolog-1993","author_short":["Börger, E.","Rosenzweig, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Börger"],"firstnames":["Egon"],"suffixes":[]},{"propositions":[],"lastnames":["Rosenzweig"],"firstnames":["Dean"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2aea4c49a93887f1c8823fb0088fe331f/dblp","booktitle":"Kurt Gödel Colloquium","crossref":"conf/kgc/1993","editor":[{"propositions":[],"lastnames":["Gottlob"],"firstnames":["Georg"],"suffixes":[]},{"propositions":[],"lastnames":["Leitsch"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Mundici"],"firstnames":["Daniele"],"suffixes":[]}],"ee":"https://doi.org/10.1007/BFb0022547","interhash":"70533d23b62669250b37efc3749c4aac","intrahash":"aea4c49a93887f1c8823fb0088fe331f","isbn":"3-540-57184-1","keywords":"dblp","pages":"1-13","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T16:45:56.000+0200","title":"The Mathematics of Set Predicates in Prolog.","url":"http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#BorgerR93","volume":"713","year":"1993","bibtex":"@inproceedings{conf/kgc/BorgerR93,\n added-at = {2017-05-20T00:00:00.000+0200},\n author = {Börger, Egon and Rosenzweig, Dean},\n biburl = {https://www.bibsonomy.org/bibtex/2aea4c49a93887f1c8823fb0088fe331f/dblp},\n booktitle = {Kurt Gödel Colloquium},\n crossref = {conf/kgc/1993},\n editor = {Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele},\n ee = {https://doi.org/10.1007/BFb0022547},\n interhash = {70533d23b62669250b37efc3749c4aac},\n intrahash = {aea4c49a93887f1c8823fb0088fe331f},\n isbn = {3-540-57184-1},\n keywords = {dblp},\n pages = {1-13},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T16:45:56.000+0200},\n title = {The Mathematics of Set Predicates in Prolog.},\n url = {http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#BorgerR93},\n volume = 713,\n year = 1993\n}\n\n","author_short":["Börger, E.","Rosenzweig, D."],"editor_short":["Gottlob, G.","Leitsch, A.","Mundici, D."],"key":"conf/kgc/BorgerR93","id":"conf/kgc/BorgerR93","bibbaseid":"brger-rosenzweig-themathematicsofsetpredicatesinprolog-1993","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0022547","Paper":"http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#BorgerR93"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rosenzweig?items=1000","dataSources":["APohm7TtADtfKQ3y8"],"keywords":["dblp"],"search_terms":["mathematics","set","predicates","prolog","börger","rosenzweig"],"title":"The Mathematics of Set Predicates in Prolog.","year":1993}