@inproceedings{C64,
  Address =	 {Maun, Botswana},
  Author =	 {Christoph Benzm{\"u}ller and Alexander Steen and Max
                  Wisniewski},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning},
  title =	 {{Leo-III} Version 1.1 (System description)},
  Booktitle =	 {IWIL@LPAR 2017 Workshop and {LPAR-21} Short
                  Presentations, Maun, Botswana, May 7-12, 2017},
  Editor =	 {Thomas Eiter and David Sands and Geoff Sutcliffe and
                  Andrei Voronkov},
  series =	 {Kalpa Publications in Computing},
  pages =	 {11-61},
  volume =	 1,
  publisher =	 {EasyChair},
  year =	 2017,
  doi =          {10.29007/grmx},
  OPTurl =       {https://easychair.org/publications/paper/sl},
}

{"_id":"Kz5sHStsaaNbMSNtc","bibbaseid":"benzmller-steen-wisniewski-leoiiiversion11systemdescription-2017","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Maun, Botswana","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Max"],"propositions":[],"lastnames":["Wisniewski"],"suffixes":[]}],"keywords":"own, LEO Prover, Higher Order Logic, Polymorphism, Automated Reasoning","title":"Leo-III Version 1.1 (System description)","booktitle":"IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017","editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]},{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"series":"Kalpa Publications in Computing","pages":"11-61","volume":"1","publisher":"EasyChair","year":"2017","doi":"10.29007/grmx","opturl":"https://easychair.org/publications/paper/sl","bibtex":"@inproceedings{C64,\n Address =\t {Maun, Botswana},\n Author =\t {Christoph Benzm{\\\"u}ller and Alexander Steen and Max\n Wisniewski},\n Keywords =\t {own, LEO Prover, Higher Order Logic, Polymorphism,\n Automated Reasoning},\n title =\t {{Leo-III} Version 1.1 (System description)},\n Booktitle =\t {IWIL@LPAR 2017 Workshop and {LPAR-21} Short\n Presentations, Maun, Botswana, May 7-12, 2017},\n Editor =\t {Thomas Eiter and David Sands and Geoff Sutcliffe and\n Andrei Voronkov},\n series =\t {Kalpa Publications in Computing},\n pages =\t {11-61},\n volume =\t 1,\n publisher =\t {EasyChair},\n year =\t 2017,\n doi = {10.29007/grmx},\n OPTurl = {https://easychair.org/publications/paper/sl},\n}\n\n","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"editor_short":["Eiter, T.","Sands, D.","Sutcliffe, G.","Voronkov, A."],"key":"C64","id":"C64","bibbaseid":"benzmller-steen-wisniewski-leoiiiversion11systemdescription-2017","role":"author","urls":{},"keyword":["own","LEO Prover","Higher Order Logic","Polymorphism","Automated Reasoning"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","leo prover","higher order logic","polymorphism","automated reasoning"],"search_terms":["leo","iii","version","system","description","benzmüller","steen","wisniewski"],"title":"Leo-III Version 1.1 (System description)","year":2017}