Su Gao The Degrees of Conditional Problems. 166-181 1994 59 J. Symb. Log. 1 db/journals/jsyml/jsyml59.html#Gao94