Escalada Imaz, Gonzalo, y Nelson Becerra Correa. «Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT». Tecnura 7, no. 14 (enero 1, 2004): 57–67. Accedido abril 19, 2024. https://revistas.udistrital.edu.co/index.php/Tecnura/article/view/6192.