Escalada Imaz, G. y Becerra Correa, N. (2004) «Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT», Tecnura, 7(14), pp. 57–67. doi: 10.14483/22487638.6192.