The Relative Efficiency of Propositional Proof Systems. Cook, S. A. & Reckhow, R. A. J. Symb. Log. (JSYML), 44(1):36-50, 1979.
The Relative Efficiency of Propositional Proof Systems [link]Paper  bibtex   
@article{ dblp4123875,
  title = {The Relative Efficiency of Propositional Proof Systems},
  author = {Stephen A. Cook and Robert A. Reckhow},
  author_short = {Cook, S. A. and Reckhow, R. A.},
  bibtype = {article},
  type = {article},
  year = {1979},
  key = {dblp4123875},
  id = {dblp4123875},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jsyml/CookR79},
  url = {http://dx.doi.org/10.2307/2273702},
  journal = {J. Symb. Log. (JSYML)},
  pages = {36-50},
  number = {1},
  volume = {44},
  text = {J. Symb. Log. (JSYML) 44(1):36-50 (1979)}
}

Downloads: 0