Strong normalization from an unusual point of view
scientific article; zbMATH DE number 5886380