Two prover protocols
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC ’94
Joe Kilian