Logic Programs for Primitive Recursive Sets
scientific article; zbMATH DE number 488290