Ran Raz Iddo Tzameret Resolution over linear equations and multilinear proofs. 194-224 2008 155 Ann. Pure Appl. Logic 3 http://dx.doi.org/10.1016/j.apal.2008.04.001 db/journals/apal/apal155.html#RazT08