TRAMP: Transformation of machine-found proofs into natural deduction proofs at the assertion level (system description (2000)

by Andreas Meier
Venue:Automated Deduction—CADE-17 International Conference, LNAI 1831