De Ita Luna, Guillermo, Helena Gómez, and Belem Merino. 2012. “Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas”. Acta Universitaria 22 (March): 69-74. https://doi.org/10.15174/au.2012.344.