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

by Lance Fortnow, John Rompel, Michael Sipser
Venue:Theor. Comput. Sci