«Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas», Acta Universitaria, vol. 22, pp. 69–74, mar. 2012, doi: 10.15174/au.2012.344.