Dieter van Melkebeek Rahul Santhanam Holographic Proofs and Derandmization. 59-90 2005 35 SIAM J. Comput. 1 http://epubs.siam.org/SICOMP/volume-35/art_43862.html db/journals/siamcomp/siamcomp35.html#MelkebeekS05