Ran Raz Iddo Tzameret The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC) 2006 001 db/journals/eccc/eccc13.html#TR06-001 http://eccc.hpi-web.de/eccc-reports/2006/TR06-001/index.html