Escalada Imaz G, Becerra Correa N. Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT. Tecnura [Internet]. 1 de enero de 2004 [citado 24 de abril de 2024];7(14):57-6. Disponible en: https://revistas.udistrital.edu.co/index.php/Tecnura/article/view/6192