Completeness results for recursive data bases
scientific article; zbMATH DE number 935422