Checking computations in polylogarithmic time (1991)

by L Babai, L Fortnow, L Levin, M Szegedy
Venue:Proceedings of the Twenty Second Annual Symposium on the Theory of Computing, ACM