Yael Tauman Kalai, Ran Raz. Probabilistically Checkable Arguments. In Shai Halevi, editor, Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings. Volume 5677 of Lecture Notes in Computer Science, pages 143-159, Springer, 2009. [doi]
Abstract is missing.