1995
A Proof of Strong Normalization of F_2, F_omega and Beyond
[DOI]
David A. McAllester
,
J. Kucan
,
D. F. Otth
Inf. Comput., September, 1995