Theodore Baker, John Gill, and Robert Solovay. Relativizations of the = ? question. SIAM journal on computing, vol. 4 (1975), pp. 431–442. - Charles H. Bennett and John Gill. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 (1981), pp. 96–113.
Neil Immerman · Journal of Symbolic Logic · 1986
Theodore Baker, John Gill, and Robert Solovay. Relativizations of the = ? question. SIAM journal on computing, vol. 4 (1975), pp. 431–442. - Charles H. Bennett and John Gill. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 (1981), pp. 96–113. - Volume 51 Issue 4