Expansion tree proofs and their conversion to natural deduction proofs (1984)

by Dale Miller
Venue:7th International Conference on Automated Deduction