Nearly-linear size holographic proofs. - Alexander Polishchuk; Daniel A. Spielman (STOC, 1994)