Dvir, Malod, Perifel, Yehudayoff, 2012. Separating multilinear branching programs and formulas, in: . ACM Press.. https://doi.org/10.1145/2213977.2214034