De Ita Luna, G., Gómez, H. y Merino, B. 2012. Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas. Acta Universitaria. 22, (mar. 2012), 69–74. DOI:https://doi.org/10.15174/au.2012.344.