Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs (0)

by Dale A Miller
Venue:in 7th International Coherence on Automated Deduction, edited by