Ronald V. Book Towards a Theory of Relativizations: Positive Relativizations. 1-21 1987 conf/stacs/1987 STACS db/conf/stacs/stacs87.html#Book87 http://dx.doi.org/10.1007/BFb0039591