1998. A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 90, (Dec. 1998), 17–40.