The relative complexity of checking and evaluating (1976)

by L Valiant