Checking Computations in Polylogarithmic Time (1991)

by László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy