Enumeration reducibility, nondeterministic computations and relative computability of partial functions (1990)

by S B Cooper
Venue:Recursion Theory Week, Oberwolfach 1989, volume 1432 of Lecture Notes in Mathematics