Jin-yi Cai With Probability One, a Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy. 68-85 1989 38 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss38.html#Cai89 https://doi.org/10.1016/0022-0000(89)90033-0