Juris Hartmanis. Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version). In Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA. pages 223-227, ACM, 1977.
Abstract is missing.