Papers: 10.1007/s10817-015-9348-y

https://doi.org/10.1007/s10817-015-9348-y

The Higher-Order Prover Leo-II

Cited by: 54
Author(s): Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank TheiB
Published: about 11 years ago

Software Mentions 1