Mihir Bellare
Madhu Sudan
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC ’94
Two prover protocols