On the power of multiprover interactive protocols, (1988)

by L Fortnow, J Rompel, M Sipser
Venue:in Theoretical Computer Science,