Short propositional formulas represent nondeterministic computations (1988)

by S A Cook
Venue:IPL