On recursively enumerable families R1F recursive non-invariance of the length problem and numberings of R1F - Kummer, Martin (1988)
Keywords: Nummerierung