Rodney G. Downey On Computational Complexity and Honest Polynomial Degrees. 305-317 1991 78 Theor. Comput. Sci. 2 db/journals/tcs/tcs78.html#Downey91