@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"
}