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