The relative efficiency of propositional proof systems (1979)
Cached
Download Links
- [www.lsv.ens-cachan.fr]
- [www.cs.utoronto.ca]
- [www.cs.toronto.edu]
- DBLP
Other Repositories/Bibliography
by
Stephen A. Cook
,
Robert
,
A. Reckhow
| Venue: | Journal of Symbolic Logic |
| Citations: | 285 - 5 self |







