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, pp. 69–74. doi: 10.15174/au.2012.344.