Checking computations in polylogarithmic time,” (1991)

by L Babai, L Fortnow, L A Levin, M Szegedy
Venue:in STOC,