1. Puri Arenas-Sánchez, Ana Gil-Luezas, and Francisco Javier López-Fraguas. Combining lazy narrowing with disequality constraints. In PLILP, pages 385–399, 1994
2. An overview of the Sloth2005 Curry System: System Description;Gallego Arias,2005
3. Michael Hanus, Sergio Antoy, Herbert Kuchen, Francisco J. López-Fraguas, Wolfgang Lux, Juan José Moreno-Navarro, and Frank Steiner. Curry: An Integrated Functional Logic Language, 0.8.2 edition, April 2006. Editor: Michael Hanus
4. M. Hermenegildo, F. Bueno, M. García de la Banda, and G. Puebla. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, december 1995. Available from http://www.clip.dia.fi.upm.es/
5. Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. Implementing a lazy functional logic language with disequality constraints. In JICSLP, pages 207–221, 1992