Search: J30
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: https://www.researchgate.net/publication/280986731) [bibtex] [doi]