López Medina, M., Y 		González Ruiz, J..
" Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo" <em>Informaticae Abstracta</em> [En línea], Volumen 1 Número 1 (5 septiembre 2024)