Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á.  (2002).??Formalización computacional del experimento de Lipton sobre el problema SAT.  Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados.  326-332.