Checking computations in polylogarithmic time (1991)

by L Babai, L Fortnow, L A Levin, M Szegedy
Venue:In Proc. 23rd Ann. ACM Symp. on Theory of Computing