DMCA

The relative efficiency of propositional proof systems (1979)

by Stephen A. Cook , Robert A. Reckhow
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:366 - 5 self