Normal Natural Deduction Proofs (in classical logic).

Wilfried Sieg John Byrnes Normal Natural Deduction Proofs (in classical logic). 67-106 1998 60 Studia Logica 1 db/journals/sLogica/sLogica60.html#SiegB98