@article{J30,
  Author =	 {Christoph Benzm{\"u}ller and Nik Sultana and
                  Paulson, Lawrence C. and Frank Theiss},
  Doi =		 {10.1007/s10817-015-9348-y},
  Journal =	 {Journal of Automated Reasoning},
  publisher =	 {Springer Netherlands},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  DFG-2501-Selected},
  Number =	 4,
  Pages =	 {389-404},
  Title =	 {The Higher-Order Prover {LEO-II}},
  url_preprint = {https://www.researchgate.net/publication/280986731},
  Volume =	 55,
  Year =	 2015,
}

{"_id":"zvJ3gvzhZD8XL5tw2","bibbaseid":"benzmller-sultana-paulson-theiss-thehigherorderproverleoii-2015","author_short":["Benzmüller, C.","Sultana, N.","Paulson, L. C.","Theiss, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Nik"],"propositions":[],"lastnames":["Sultana"],"suffixes":[]},{"propositions":[],"lastnames":["Paulson"],"firstnames":["Lawrence","C."],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Theiss"],"suffixes":[]}],"doi":"10.1007/s10817-015-9348-y","journal":"Journal of Automated Reasoning","publisher":"Springer Netherlands","keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, DFG-2501-Selected","number":"4","pages":"389-404","title":"The Higher-Order Prover LEO-II","url_preprint":"https://www.researchgate.net/publication/280986731","volume":"55","year":"2015","bibtex":"@article{J30,\n Author =\t {Christoph Benzm{\\\"u}ller and Nik Sultana and\n Paulson, Lawrence C. and Frank Theiss},\n Doi =\t\t {10.1007/s10817-015-9348-y},\n Journal =\t {Journal of Automated Reasoning},\n publisher =\t {Springer Netherlands},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic,\n DFG-2501-Selected},\n Number =\t 4,\n Pages =\t {389-404},\n Title =\t {The Higher-Order Prover {LEO-II}},\n url_preprint = {https://www.researchgate.net/publication/280986731},\n Volume =\t 55,\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Sultana, N.","Paulson, L. C.","Theiss, F."],"key":"J30","id":"J30","bibbaseid":"benzmller-sultana-paulson-theiss-thehigherorderproverleoii-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/280986731"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic","DFG-2501-Selected"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","ontology reasoning","leo prover","higher order logic","dfg-2501-selected"],"search_terms":["higher","order","prover","leo","benzmüller","sultana","paulson","theiss"],"title":"The Higher-Order Prover LEO-II","year":2015}