%0 Unpublished Work
%1 Kahrs0X
%A Kahrs, Stefan
%D 200X
%K computability tcs
%T The Primitive Recursive Functions are Recursively Enumerable
%U http://www.cs.kent.ac.uk/people/staff/smk/primrec.pdf