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

by U Feige, L Lovász
Venue:In Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing