A proof of strong normalization for F2, F,, and beyond (1993)

by D McAllester, J KuEan, D F Otth