Interactive proof systems: Provers that never 548 Jörg Rothe fail and random selection (1987)

by O GOLDREICH, Y MANSOUR, M SIPSER
Venue:In Proceedings of the 28th IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press, Los Alamitos, Calif