@incollection{B5,
  Author =	 {Christoph Benzm{\"u}ller and Dale Miller},
  Booktitle =	 {Handbook of the History of Logic, Volume 9 ---
                  Computational Logic},
  Doi =		 {10.1016/B978-0-444-51624-4.50005-8},
  Editor =	 {Gabbay, Dov M. and Siekmann, J\"org H. and Woods,
                  John},
  Isbn =	 {978-0-444-51624-4},
  Keywords =	 {own, Automated Reasoning, Higher Order Logic,
                  History of Logic, DFG-2501-Selected},
  Pages =	 {215-254},
  Publisher =	 {North Holland, Elsevier},
  Title =	 {Automation of Higher-Order Logic},
  url_preprint = {http://christoph-benzmueller.de/papers/B5.pdf},
  Year =	 2014,
}

{"_id":"gvMiZhcoWJQipaeH5","bibbaseid":"benzmller-miller-automationofhigherorderlogic-2014","author_short":["Benzmüller, C.","Miller, D."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"booktitle":"Handbook of the History of Logic, Volume 9 — Computational Logic","doi":"10.1016/B978-0-444-51624-4.50005-8","editor":[{"propositions":[],"lastnames":["Gabbay"],"firstnames":["Dov","M."],"suffixes":[]},{"propositions":[],"lastnames":["Siekmann"],"firstnames":["Jörg","H."],"suffixes":[]},{"propositions":[],"lastnames":["Woods"],"firstnames":["John"],"suffixes":[]}],"isbn":"978-0-444-51624-4","keywords":"own, Automated Reasoning, Higher Order Logic, History of Logic, DFG-2501-Selected","pages":"215-254","publisher":"North Holland, Elsevier","title":"Automation of Higher-Order Logic","url_preprint":"http://christoph-benzmueller.de/papers/B5.pdf","year":"2014","bibtex":"@incollection{B5,\n Author =\t {Christoph Benzm{\\\"u}ller and Dale Miller},\n Booktitle =\t {Handbook of the History of Logic, Volume 9 ---\n Computational Logic},\n Doi =\t\t {10.1016/B978-0-444-51624-4.50005-8},\n Editor =\t {Gabbay, Dov M. and Siekmann, J\\\"org H. and Woods,\n John},\n Isbn =\t {978-0-444-51624-4},\n Keywords =\t {own, Automated Reasoning, Higher Order Logic,\n History of Logic, DFG-2501-Selected},\n Pages =\t {215-254},\n Publisher =\t {North Holland, Elsevier},\n Title =\t {Automation of Higher-Order Logic},\n url_preprint = {http://christoph-benzmueller.de/papers/B5.pdf},\n Year =\t 2014,\n}\n\n","author_short":["Benzmüller, C.","Miller, D."],"editor_short":["Gabbay, D. M.","Siekmann, J. H.","Woods, J."],"key":"B5","id":"B5","bibbaseid":"benzmller-miller-automationofhigherorderlogic-2014","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/B5.pdf"},"keyword":["own","Automated Reasoning","Higher Order Logic","History of Logic","DFG-2501-Selected"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["7ofoNR5w3CNhd7cG5","ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","higher order logic","history of logic","dfg-2501-selected"],"search_terms":["automation","higher","order","logic","benzmüller","miller"],"title":"Automation of Higher-Order Logic","year":2014,"downloads":2}