@inproceedings{conf/lfp/Henglein88,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Henglein, Fritz},
  biburl = {https://www.bibsonomy.org/bibtex/2d0e74c58992d771a81924fe32801151d/dblp},
  booktitle = {LISP and Functional Programming},
  ee = {https://doi.org/10.1145/62678.62701},
  interhash = {b4fe99dd0cd2f741ab7c8d5b4a7232eb},
  intrahash = {d0e74c58992d771a81924fe32801151d},
  keywords = {dblp},
  pages = {184-197},
  timestamp = {2018-11-07T12:37:26.000+0100},
  title = {Type Inference and Semi-Unification.},
  url = {http://dblp.uni-trier.de/db/conf/lfp/lfp1988.html#Henglein88},
  year = 1988
}

{"_id":"PgxjY9BXqtpfp4f53","bibbaseid":"henglein-typeinferenceandsemiunification-1988","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/2d0e74c58992d771a81924fe32801151d/dblp","booktitle":"LISP and Functional Programming","ee":"https://doi.org/10.1145/62678.62701","interhash":"b4fe99dd0cd2f741ab7c8d5b4a7232eb","intrahash":"d0e74c58992d771a81924fe32801151d","keywords":"dblp","pages":"184-197","timestamp":"2018-11-07T12:37:26.000+0100","title":"Type Inference and Semi-Unification.","url":"http://dblp.uni-trier.de/db/conf/lfp/lfp1988.html#Henglein88","year":"1988","bibtex":"@inproceedings{conf/lfp/Henglein88,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Henglein, Fritz},\n biburl = {https://www.bibsonomy.org/bibtex/2d0e74c58992d771a81924fe32801151d/dblp},\n booktitle = {LISP and Functional Programming},\n ee = {https://doi.org/10.1145/62678.62701},\n interhash = {b4fe99dd0cd2f741ab7c8d5b4a7232eb},\n intrahash = {d0e74c58992d771a81924fe32801151d},\n keywords = {dblp},\n pages = {184-197},\n timestamp = {2018-11-07T12:37:26.000+0100},\n title = {Type Inference and Semi-Unification.},\n url = {http://dblp.uni-trier.de/db/conf/lfp/lfp1988.html#Henglein88},\n year = 1988\n}\n\n","author_short":["Henglein, F."],"key":"conf/lfp/Henglein88","id":"conf/lfp/Henglein88","bibbaseid":"henglein-typeinferenceandsemiunification-1988","role":"author","urls":{"Link":"https://doi.org/10.1145/62678.62701","Paper":"http://dblp.uni-trier.de/db/conf/lfp/lfp1988.html#Henglein88"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:29.828Z","downloads":0,"keywords":["dblp"],"search_terms":["type","inference","semi","unification","henglein"],"title":"Type Inference and Semi-Unification.","year":1988,"dataSources":["P8qTtTCTHaCFodAoX"]}