@inproceedings{W61,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {ARQNL 2018. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  Keywords =	 {own, Higher Order Logic, Leo Prover},
  Publisher =	 {CEUR Workshop Proceedings, http://ceur-ws.org},
  Url =		 {http://ceur-ws.org/Vol-2095/paper5.pdf},
  Volume =	 2095,
  Title =	 {System Demonstration: The Higher-Order Prover
                  {Leo-III}},
  Pages =	 {79-85},
  Year =	 2018,
}

{"_id":"8AWfH3KbHnBnSgo6Z","bibbaseid":"steen-benzmller-systemdemonstrationthehigherorderproverleoiii-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":"ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics","editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Leo Prover","publisher":"CEUR Workshop Proceedings, http://ceur-ws.org","url":"http://ceur-ws.org/Vol-2095/paper5.pdf","volume":"2095","title":"System Demonstration: The Higher-Order Prover Leo-III","pages":"79-85","year":"2018","bibtex":"@inproceedings{W61,\n Author =\t {Alexander Steen and Christoph Benzm{\\\"u}ller},\n Booktitle =\t {ARQNL 2018. Automated Reasoning in Quantified\n Non-Classical Logics},\n Editor =\t {Christoph Benzm{\\\"u}ller and Jens Otten},\n Keywords =\t {own, Higher Order Logic, Leo Prover},\n Publisher =\t {CEUR Workshop Proceedings, http://ceur-ws.org},\n Url =\t\t {http://ceur-ws.org/Vol-2095/paper5.pdf},\n Volume =\t 2095,\n Title =\t {System Demonstration: The Higher-Order Prover\n {Leo-III}},\n Pages =\t {79-85},\n Year =\t 2018,\n}\n\n","author_short":["Steen, A.","Benzmüller, C."],"editor_short":["Benzmüller, C.","Otten, J."],"key":"W61","id":"W61","bibbaseid":"steen-benzmller-systemdemonstrationthehigherorderproverleoiii-2018","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-2095/paper5.pdf"},"keyword":["own","Higher Order Logic","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","leo prover"],"search_terms":["system","demonstration","higher","order","prover","leo","iii","steen","benzmüller"],"title":"System Demonstration: The Higher-Order Prover Leo-III","year":2018}