Rodney G. Downey Steven Homer William I. Gasarch Michael Moses On Honest Polynomial Reductions, Relativizations, and P=NP. 196-207 1989 Structure in Complexity Theory Conference db/conf/coco/coco89.html#DowneyHGM89