propositional formulas represent nondeterministic computations (1988)

by Short
Venue:Inf. Process. Lett