Stefanova, M. 1998. A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*. Ann. Sofia Univ. Fac. Math. and Inf. 90, (Dec. 1998), 17–40.