Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs.

Dale Miller

Browse the full CADE paper archive.