Search: The Higher-Order Prover LEO-II
2018
[4] System Demonstration: The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, pp. 79-85, 2018. (http://ceur-ws.org/Vol-2095/) [bibtex] [pdf]
[3] The Higher-Order Prover Leo-III (Extended Version) (Alexander Steen, Christoph Benzmüller), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.02732, preprint of IJCAR 2018 paper) [bibtex] [pdf]
[2]The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In Automated Reasoning. IJCAR 2018 (Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds.), Springer, LNCS, volume 10900, pp. 108-116, 2018. (Preprint: https://tinyurl.com/y7wg5w5w) [bibtex] [doi]
2015
[1]The Higher-Order Prover LEO-II (Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss), In Journal of Automated Reasoning, Springer Netherlands, volume 55, number 4, pp. 389-404, 2015. (Preprint: http://christoph-benzmueller.de/papers/J30.pdf) [bibtex] [doi]