Ali Muhammad Ali Rushdi, “A Comparison of Algebraic and Map Methods for Solving General Boolean Equations”, jec, vol. 5, no. 2, pp. 147–173, Jul. 2012.