Razand Tzameret. Resolution over Linear Equations and Multilinear Proofs. Elsevier BV, 2008, doi:10.1016/j.apal.2008.04.001.