Leslie G. Valiant Relative Complexity of Checking and Evaluating. 20-23 1976 5 Inf. Process. Lett. 1 db/journals/ipl/ipl5.html#Valiant76