G. Escalada Imaz y N. Becerra Correa, «Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT», Tecnura, vol. 7, n.º 14, pp. 57–67, ene. 2004.