Ran Raz: Separation of Multilinear Circuit and Formula Size. Theory Comput. 2(6): 121-135 (2006)