Escalada Imaz, Gonzalo, y Nelson Becerra Correa. «Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT». Tecnura, vol. 7, n.º 14, enero de 2004, pp. 57-67, doi:10.14483/22487638.6192.