Algebraic methods for interactive proof systems. (1992)

by C Lund, L Fortnow, H Karloff, N Nisan
Venue:J. ACM,