Probabilistically checkable arguments (2009)

by Yael Tauman Kalai, Ran Raz
Venue:In CRYPTO ’09: Proceedings of the 29th Annual International Cryptology Conference on Advances in Cryptology