The Polynomial Hierarchy has Interactive Proofs (1990)

by L Fortnow, H Karloff, K Lund, N Nisan
Venue:proceedings of the 31 st IEEE Symposium on Foundations of Computer Science