The Relative Efficiency of Propositional Proof Systems

Stephen A. Cook, Robert A. Reckhow. The Relative Efficiency of Propositional Proof Systems. Journal of Symbolic Logic, 44(1):36-50, 1979.

Abstract

Abstract is missing.