Relative complexity of checking and evaluation (1976)

by L G Valiant
Venue:Information Processing Letters