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: http://christoph-benzmueller.de/papers/J30.pdf) [bibtex] [doi]