TR-91-08
Checking Computations in Polylogarithmic Time
Babai, Laszlo; Fortnow, Lance; Levin, Leonid A.; Szegedy, Mario. 22 March, 1991.
Communicated by Laszlo Babai.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).