Inductive reasoning on recursive equations
closed form solutions to recursive functions
scientific article; zbMATH DE number 3664423