Recursive versus recursively enumerable binary relations
scientific article; zbMATH DE number 549799
scientific article