Alan L. Selman Xu Mei-Rui Ronald V. Book Positive Relativizations of Complexity Classes. 565-579 1983 12 SIAM J. Comput. 3 db/journals/siamcomp/siamcomp12.html#SelmanMB83 https://doi.org/10.1137/0212037