Interactive proof systems: Provers that never fail and random selection (extended abstract (1987)

by Oded Goldreich, Yishay Mansour, Michael Sipser
Venue:In FOCS