The relative efficiency of propositional proof systems (1979)

Cached

Download Links

by Stephen A. Cook , Robert , A. Reckhow
Venue:Journal of Symbolic Logic
Citations:285 - 5 self