Remarks on recursion versus diagonalization and exponentially difficult problems
scientific article; zbMATH DE number 3735132