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

by A Meier
Venue:Conference on Automated Deduction (CADE-17), LNAI