Inducing Theorem Provers from Proofs.

Raul H. C. Lopes, Mark Tarver

Browse the full ICTAI paper archive.