Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs. Comput. Complex. 17(3): 407-457 (2008)