On the interplay between inductive inference of recursive functions, complexity theory and recursive numberings
scientific article; zbMATH DE number 7633502