Single variable formulas in S4
scientific article; zbMATH DE number 3534465