Uriel Feige
László Lovász
Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC ’92
Two prover protocols