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