LEO-II — A cooperative automatic theorem prover for higher-order logic (2008)

by Christoph Benzmüller , Lawrence C. Paulson , Frank Theiss
Venue:In Fourth International Joint Conference on Automated Reasoning (IJCAR’08), volume 5195 of LNAI
Citations:34 - 22 self