G. De Ita Luna, H. Gómez, and B. Merino, “Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas”, Acta Universitaria, vol. 22, pp. 69–74, Mar. 2012, doi: 10.15174/au.2012.344.