Analogues of semirecursive sets and effective reducibilities to the study of NP complexity

Alan L. Selman
1982 Information and Control  
doi:10.1016/s0019-9958(82)80084-3 fatcat:m5mvoqsy7vc37einfmirb4rfdq