Reflective inductive inference of recursive functions
scientific article; zbMATH DE number 5279847