Jan von Plato Gentzen's Proof of Normalization for Natural Deduction. 240-257 2008 14 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/1402/1402-003.ps db/journals/bsl/bsl14.html#Plato08