A. Shamir
D. Lapidot
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
Two prover protocols