The Higher-Order Prover LEO-II. (2015)

by Christoph Benzmuller, Lawrence C Paulson, Nik Sultana, Frank Theiß
Venue:Journal of Automated Reasoning,