Leen Torenvliet Peter van Emde Boas Combined Simplicity and Immunity in Relativized NP. 339-350 1985 conf/stacs/1985 STACS db/conf/stacs/stacs85.html#TorenvlietB85 http://dx.doi.org/10.1007/BFb0024022