Post’s Program and incomplete recursively enumerable sets (1991)

by Leo Harrington, Robert Soare
Venue:Proc. Natl. Acad. of Sci. USA