De Ita Luna, G., 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, marzo de 2012, pp. 69-74, doi:10.15174/au.2012.344.