László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy. Checking Computations in Polylogarithmic Time. In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, 6-8 May 1991, New Orleans, Louisiana, USA. pages 21-31, ACM, 1991.
Abstract is missing.