On the power of multi-prover interactive protocols (1988)

by L Fortnow, J Rompel, M Sipser
Venue:In Proceedings of the 3rd Annual IEEE Symposium on Structure in Complexity Theory