Iterating iterated substitution
scientific article; zbMATH DE number 3568044
scientific article