@inproceedings{C70,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {Automated Reasoning. IJCAR 2018},
  Editor =	 {Didier Galmiche and Stephan Schulz and Roberto
                  Sebastiani},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO
                  Prover},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {The Higher-Order Prover {Leo-III}},
  url_preprint = {https://tinyurl.com/y7wg5w5w},
  volume =	 10900,
  pages =	 {108-116},
  doi =		 {10.1007/978-3-319-94205-6_8},
  isbn =	 {978-3-319-94204-9},
  Year =	 2018,
}

{"_id":"ncja5H6qHJTg5bFQa","bibbaseid":"steen-benzmller-thehigherorderproverleoiii-2018","author_short":["Steen, A.","Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"Automated Reasoning. IJCAR 2018","editor":[{"firstnames":["Didier"],"propositions":[],"lastnames":["Galmiche"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Schulz"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Sebastiani"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Automated Reasoning, LEO Prover","publisher":"Springer","series":"LNCS","title":"The Higher-Order Prover Leo-III","url_preprint":"https://tinyurl.com/y7wg5w5w","volume":"10900","pages":"108-116","doi":"10.1007/978-3-319-94205-6_8","isbn":"978-3-319-94204-9","year":"2018","bibtex":"@inproceedings{C70,\n Author =\t {Alexander Steen and Christoph Benzm{\\\"u}ller},\n Booktitle =\t {Automated Reasoning. IJCAR 2018},\n Editor =\t {Didier Galmiche and Stephan Schulz and Roberto\n Sebastiani},\n Keywords =\t {own, Higher Order Logic, Automated Reasoning, LEO\n Prover},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {The Higher-Order Prover {Leo-III}},\n url_preprint = {https://tinyurl.com/y7wg5w5w},\n volume =\t 10900,\n pages =\t {108-116},\n doi =\t\t {10.1007/978-3-319-94205-6_8},\n isbn =\t {978-3-319-94204-9},\n Year =\t 2018,\n}\n\n","author_short":["Steen, A.","Benzmüller, C."],"editor_short":["Galmiche, D.","Schulz, S.","Sebastiani, R."],"key":"C70","id":"C70","bibbaseid":"steen-benzmller-thehigherorderproverleoiii-2018","role":"author","urls":{" preprint":"https://tinyurl.com/y7wg5w5w"},"keyword":["own","Higher Order Logic","Automated Reasoning","LEO Prover"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","automated reasoning","leo prover"],"search_terms":["higher","order","prover","leo","iii","steen","benzmüller"],"title":"The Higher-Order Prover Leo-III","year":2018}