López Medina, M., & 		González Ruiz, J.
(2024).
 Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo.
<em>Informaticae Abstracta, 1</em>(1), 4-20.
doi:10.36677/ia.v1n1.24592