TR-91-06

Checking Computations in Polylogarithmic Time

Babai, Laszlo; Fortnow, Lance; Levin, Leonid A.; Szegedy, Mario. 7 March, 1991.
Communicated by Laszlo Babai.