Complexity in Mechanized Hypothesis Formation

Pavel Pudlák, Frederick N. Springsteel. Complexity in Mechanized Hypothesis Formation. Theoretical Computer Science, 8:203-225, 1979.

Abstract

Abstract is missing.