De Ita Luna, Guillermo, Helena Gómez, y Belem Merino. «Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas». Acta Universitaria 22 (marzo 1, 2012): 69–74. Accedido agosto 11, 2022. https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344.