Search: The Higher-Order Prover LEO-II
2015
[1] The Higher-Order Prover LEO-II (Christoph Benzmüller, Lawrence C. Paulson, Nik Sultana, Frank Theiß), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015. [bibtex] [pdf] [doi]
Powered by bibtexbrowser