Two prover one round proof systems: their power and their problems (1992)

by L Lovasz U Feige
Venue:Proc. 24th STOC