@Article{CR79, Author = "Cook, S. and Reckhow, R.", Year = "1979", Title = "{The Relative Efficiency of Propositional Proof Systems}", Journal = "Journal of Symbolic Logic", Volume = "44", Pages = "36-50", Comment = "TPTPRef" }