On representing recursively enumerable languages by internal contextual languages
scientific article; zbMATH DE number 1238798
scientific article