Remarks on Recursion versus Diagonalization and Exponentially Difficult Problems.

Michael Machtey Paul Young Remarks on Recursion versus Diagonalization and Exponentially Difficult Problems. 442-453 1981 22 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss22.html#MachteyY81