"Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs."

Dale Miller (1984)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics