Search: C70
2018
[1]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]