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