Computational inductive definability
scientific article; zbMATH DE number 2083177
scientific article