Algebraic Methods for Interactive Proof Systems (1990)

by Carsten Lund, Lance Fortnow, Howard Karloff, Noam Nisan