Carsten Lund
Mihalis Yannakakis
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC ’93
Two prover protocols