Checking Computations in Polylogarithmic Time (1991)

by L Babai, L Fortnow, L Levin, M Szegedy
Venue:In 23rd ACM Symposium on the Theory of Computing