Multi-prover interactive proofs: how to remove intractability
Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC ’88
Joe Kilian
Shafi Goldwasser
Michael Ben-Or
Two prover protocols