@inproceedings{W58,
  Address =	 {Maun, Botswana},
  Author =	 {Alexander Steen and Max Wisniewski and Hans-J{\"o}rg
                  Schurr and Christoph Benzm{\"u}ller},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning},
  title =	 {Capability Discovery for Automated Reasoning
                  Systems},
  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},
  volume =	 1,
  publisher =	 {EasyChair},
  year =	 2017,
  url =		 {https://easychair.org/publications/paper/SfX},
  doi = {10.29007/fsv3},
}

{"_id":"DMwcbr6LeeuaxsACN","bibbaseid":"steen-wisniewski-schurr-benzmller-capabilitydiscoveryforautomatedreasoningsystems-2017","author_short":["Steen, A.","Wisniewski, M.","Schurr, H.","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":["Hans-Jörg"],"propositions":[],"lastnames":["Schurr"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"keywords":"own, LEO Prover, Higher Order Logic, Polymorphism, Automated Reasoning","title":"Capability Discovery for Automated Reasoning Systems","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","volume":"1","publisher":"EasyChair","year":"2017","url":"https://easychair.org/publications/paper/SfX","doi":"10.29007/fsv3","bibtex":"@inproceedings{W58,\n Address =\t {Maun, Botswana},\n Author =\t {Alexander Steen and Max Wisniewski and Hans-J{\\\"o}rg\n Schurr and Christoph Benzm{\\\"u}ller},\n Keywords =\t {own, LEO Prover, Higher Order Logic, Polymorphism,\n Automated Reasoning},\n title =\t {Capability Discovery for Automated Reasoning\n Systems},\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 volume =\t 1,\n publisher =\t {EasyChair},\n year =\t 2017,\n url =\t\t {https://easychair.org/publications/paper/SfX},\n doi = {10.29007/fsv3},\n}\n\n","author_short":["Steen, A.","Wisniewski, M.","Schurr, H.","Benzmüller, C."],"editor_short":["Eiter, T.","Sands, D.","Sutcliffe, G.","Voronkov, A."],"key":"W58","id":"W58","bibbaseid":"steen-wisniewski-schurr-benzmller-capabilitydiscoveryforautomatedreasoningsystems-2017","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/SfX"},"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":["capability","discovery","automated","reasoning","systems","steen","wisniewski","schurr","benzmüller"],"title":"Capability Discovery for Automated Reasoning Systems","year":2017,"downloads":1}