into the computably enumerable degrees, Computability theory and its applications (1999)

by Embeddings
Venue:Contemp. Math