Selected papers that cite this one Juris Hartmanis. Relations between diagonalization, proof systems, and complexity gaps. Theoretical Computer Science, 8(2):239-253, April 1979.