@inproceedings{conf/lfp/Henglein92,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Henglein, Fritz},
  biburl = {https://www.bibsonomy.org/bibtex/22c5ffbf0e88cbbb73420af1acb610a4a/dblp},
  booktitle = {LISP and Functional Programming},
  ee = {https://doi.org/10.1145/141471.141542},
  interhash = {2a7536543c52381105ea9ad97a1b13c0},
  intrahash = {2c5ffbf0e88cbbb73420af1acb610a4a},
  keywords = {dblp},
  pages = {205-215},
  timestamp = {2018-11-07T12:37:26.000+0100},
  title = {Global Tagging Optimization by Type Inference.},
  url = {http://dblp.uni-trier.de/db/conf/lfp/lfp1992.html#Henglein92},
  year = 1992
}

{"_id":"zZRy7fcg5qsBZG7WH","bibbaseid":"henglein-globaltaggingoptimizationbytypeinference-1992","authorIDs":[],"author_short":["Henglein, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Henglein"],"firstnames":["Fritz"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22c5ffbf0e88cbbb73420af1acb610a4a/dblp","booktitle":"LISP and Functional Programming","ee":"https://doi.org/10.1145/141471.141542","interhash":"2a7536543c52381105ea9ad97a1b13c0","intrahash":"2c5ffbf0e88cbbb73420af1acb610a4a","keywords":"dblp","pages":"205-215","timestamp":"2018-11-07T12:37:26.000+0100","title":"Global Tagging Optimization by Type Inference.","url":"http://dblp.uni-trier.de/db/conf/lfp/lfp1992.html#Henglein92","year":"1992","bibtex":"@inproceedings{conf/lfp/Henglein92,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Henglein, Fritz},\n biburl = {https://www.bibsonomy.org/bibtex/22c5ffbf0e88cbbb73420af1acb610a4a/dblp},\n booktitle = {LISP and Functional Programming},\n ee = {https://doi.org/10.1145/141471.141542},\n interhash = {2a7536543c52381105ea9ad97a1b13c0},\n intrahash = {2c5ffbf0e88cbbb73420af1acb610a4a},\n keywords = {dblp},\n pages = {205-215},\n timestamp = {2018-11-07T12:37:26.000+0100},\n title = {Global Tagging Optimization by Type Inference.},\n url = {http://dblp.uni-trier.de/db/conf/lfp/lfp1992.html#Henglein92},\n year = 1992\n}\n\n","author_short":["Henglein, F."],"key":"conf/lfp/Henglein92","id":"conf/lfp/Henglein92","bibbaseid":"henglein-globaltaggingoptimizationbytypeinference-1992","role":"author","urls":{"Link":"https://doi.org/10.1145/141471.141542","Paper":"http://dblp.uni-trier.de/db/conf/lfp/lfp1992.html#Henglein92"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:29.881Z","downloads":0,"keywords":["dblp"],"search_terms":["global","tagging","optimization","type","inference","henglein"],"title":"Global Tagging Optimization by Type Inference.","year":1992,"dataSources":["P8qTtTCTHaCFodAoX"]}