T. Emerson Relativizations of the P=?NP Question over the Reals (and other Ordered Rings). 15-22 1994 133 Theor. Comput. Sci. 1 db/journals/tcs/tcs133.html#Emerson94