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

by U Feige, L Lovász
Venue:in Proceedings of the Twenty-fourth Annual ACM Symposium on Theory of Computing, ser. STOC ’92