\(\lambda\)-calculi with explicit substitutions preserving strong normalization
scientific article; zbMATH DE number 1294580