PP is as hard as the polynomial-time hierarchy (1991)

by Seinosuke Toda
Venue:SIAM J. Comput