Checking computations in polylogarithmic time1991-01-010 OA AI DOI:10.1145/103418.103428OriginalOriginal request for helpShareSaveAbstract En