Algebraic Methods for Interactive Proof Systems Carsten Lund Lance Fortnow Howard J. Karloff Noam Nisan 2-10 conf/focs/FOCS31a 1990 FOCS db/conf/focs/focs90.html#LundFKN90