On slightly superlinear transparent proofs

Nearly-linear size holographic proofs

STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing

Proof verification and the hardness of approximation problems

Journal of the ACM (JACM)

Low-degree tests

SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms

Many-Valued Logics and Holographic Proofs

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming