De Ita Luna, Guillermo, et al. «Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas». Acta Universitaria, vol. 22, marzo de 2012, pp. 69-74, https://doi.org/10.15174/au.2012.344.