N.: Algebraic methods for interactive proof systems (1992)

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