Two prover protocols – Low error at affordable rates (1994)

by U Feige, J Kilian
Venue:Proceedings of the 26th Annual Symposium on the Theory of Computing, ACM