“Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas”. Acta Universitaria, vol. 22, Mar. 2012, pp. 69-74, https://doi.org/10.15174/au.2012.344.