López Medina, M., & 		González Ruiz, J.
2024 sep  5.  Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo. Informaticae Abstracta. [En línea] 1:1