G. De Ita Luna, H. Gómez, y B. Merino, «Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas», Acta Universitaria, vol. 22, pp. 69–74, mar. 2012.