Splitting theorems in recursion theory (1993)

by Rod Downey, Michael Stob
Venue:Ann. Pure Appl. Logic