1. Theoretical foundations for the declarative debugging of lazy functional logic programs;Caballero,2001
2. Caballero, R. and W. Lux, Declarative debugging for encapsulated search 76 (2002). URL http://www.elsevier.com/locate/entcs/volume76.html
3. A declarative debugging system for lazy functional logic programs;Caballero;Electronic Notes in Theoretical Computer Science,2002
4. Hanus (ed.), M., Curry: An integrated functional logic language. (version 0.8.2), (2006). URL http://www.informatik.uni-kiel.de/~mh/curry/report.html
5. TOY a multiparadigm declarative system;López-Fraguas,1999