Algebraic methods for interactive proof systems (1990)

by C Lund, L Fortnow, H Karlo, N Nisan
Venue:In Proceedings of the IEEE Symposium on Foundations of Computer Science