Probabilistic proof systems (A survey (1994)

by O Goldreich
Venue:Electronic Colloquium on Computational Complexity