@inproceedings{conf/popl/HengleinJ94,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Henglein, Fritz and Jørgensen, Jesper},
  biburl = {https://www.bibsonomy.org/bibtex/21a1bb06568ecffdf810535ec9b158402/dblp},
  booktitle = {POPL},
  crossref = {conf/popl/1994},
  editor = {Boehm, Hans-Juergen and Lang, Bernard and Yellin, Daniel M.},
  ee = {https://doi.org/10.1145/174675.177874},
  interhash = {557af1859ce3d620e809f48fea45db5c},
  intrahash = {1a1bb06568ecffdf810535ec9b158402},
  isbn = {0-89791-636-0},
  keywords = {dblp},
  pages = {213-226},
  publisher = {ACM Press},
  timestamp = {2018-11-07T15:44:14.000+0100},
  title = {Formally Optimal Boxing.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl94.html#HengleinJ94},
  year = 1994
}

{"_id":"qzGzkLdaaNrceZCTd","bibbaseid":"henglein-jrgensen-formallyoptimalboxing-1994","authorIDs":[],"author_short":["Henglein, F.","Jørgensen, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Henglein"],"firstnames":["Fritz"],"suffixes":[]},{"propositions":[],"lastnames":["Jørgensen"],"firstnames":["Jesper"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21a1bb06568ecffdf810535ec9b158402/dblp","booktitle":"POPL","crossref":"conf/popl/1994","editor":[{"propositions":[],"lastnames":["Boehm"],"firstnames":["Hans-Juergen"],"suffixes":[]},{"propositions":[],"lastnames":["Lang"],"firstnames":["Bernard"],"suffixes":[]},{"propositions":[],"lastnames":["Yellin"],"firstnames":["Daniel","M."],"suffixes":[]}],"ee":"https://doi.org/10.1145/174675.177874","interhash":"557af1859ce3d620e809f48fea45db5c","intrahash":"1a1bb06568ecffdf810535ec9b158402","isbn":"0-89791-636-0","keywords":"dblp","pages":"213-226","publisher":"ACM Press","timestamp":"2018-11-07T15:44:14.000+0100","title":"Formally Optimal Boxing.","url":"http://dblp.uni-trier.de/db/conf/popl/popl94.html#HengleinJ94","year":"1994","bibtex":"@inproceedings{conf/popl/HengleinJ94,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Henglein, Fritz and Jørgensen, Jesper},\n biburl = {https://www.bibsonomy.org/bibtex/21a1bb06568ecffdf810535ec9b158402/dblp},\n booktitle = {POPL},\n crossref = {conf/popl/1994},\n editor = {Boehm, Hans-Juergen and Lang, Bernard and Yellin, Daniel M.},\n ee = {https://doi.org/10.1145/174675.177874},\n interhash = {557af1859ce3d620e809f48fea45db5c},\n intrahash = {1a1bb06568ecffdf810535ec9b158402},\n isbn = {0-89791-636-0},\n keywords = {dblp},\n pages = {213-226},\n publisher = {ACM Press},\n timestamp = {2018-11-07T15:44:14.000+0100},\n title = {Formally Optimal Boxing.},\n url = {http://dblp.uni-trier.de/db/conf/popl/popl94.html#HengleinJ94},\n year = 1994\n}\n\n","author_short":["Henglein, F.","Jørgensen, J."],"editor_short":["Boehm, H.","Lang, B.","Yellin, D. M."],"key":"conf/popl/HengleinJ94","id":"conf/popl/HengleinJ94","bibbaseid":"henglein-jrgensen-formallyoptimalboxing-1994","role":"author","urls":{"Link":"https://doi.org/10.1145/174675.177874","Paper":"http://dblp.uni-trier.de/db/conf/popl/popl94.html#HengleinJ94"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:29.890Z","downloads":0,"keywords":["dblp"],"search_terms":["formally","optimal","boxing","henglein","jørgensen"],"title":"Formally Optimal Boxing.","year":1994,"dataSources":["P8qTtTCTHaCFodAoX"]}