Verifying Proofs in Constant Depth

Publication
ACM Transactions on Computation Theory
Date