@inproceedings{W57,
  Address =	 {Maun, Botswana},
  Author =	 {Alexander Steen and Max Wisniewski and Christoph
                  Benzm{\"u}ller},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning},
  title =	 {Going Polymorphic - {TH1} Reasoning for {Leo-III}},
  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 =	 {100-112},
  volume =	 1,
  publisher =	 {EasyChair},
  year =	 2017,
  Url =		 {https://easychair.org/publications/paper/CNN},
  Doi =		 {10.29007/jgkw},
}

{"_id":"cYjkz3xDyMwYgAaC7","bibbaseid":"steen-wisniewski-benzmller-goingpolymorphicth1reasoningforleoiii-2017","author_short":["Steen, A.","Wisniewski, M.","Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Maun, Botswana","author":[{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Max"],"propositions":[],"lastnames":["Wisniewski"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"keywords":"own, LEO Prover, Higher Order Logic, Polymorphism, Automated Reasoning","title":"Going Polymorphic - TH1 Reasoning for Leo-III","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":"100-112","volume":"1","publisher":"EasyChair","year":"2017","url":"https://easychair.org/publications/paper/CNN","doi":"10.29007/jgkw","bibtex":"@inproceedings{W57,\n Address =\t {Maun, Botswana},\n Author =\t {Alexander Steen and Max Wisniewski and Christoph\n Benzm{\\\"u}ller},\n Keywords =\t {own, LEO Prover, Higher Order Logic, Polymorphism,\n Automated Reasoning},\n title =\t {Going Polymorphic - {TH1} Reasoning for {Leo-III}},\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 {100-112},\n volume =\t 1,\n publisher =\t {EasyChair},\n year =\t 2017,\n Url =\t\t {https://easychair.org/publications/paper/CNN},\n Doi =\t\t {10.29007/jgkw},\n}\n\n","author_short":["Steen, A.","Wisniewski, M.","Benzmüller, C."],"editor_short":["Eiter, T.","Sands, D.","Sutcliffe, G.","Voronkov, A."],"key":"W57","id":"W57","bibbaseid":"steen-wisniewski-benzmller-goingpolymorphicth1reasoningforleoiii-2017","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/CNN"},"keyword":["own","LEO Prover","Higher Order Logic","Polymorphism","Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":1},"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":["going","polymorphic","th1","reasoning","leo","iii","steen","wisniewski","benzmüller"],"title":"Going Polymorphic - TH1 Reasoning for Leo-III","year":2017,"downloads":1}