1. Antoy, R., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. In: Proc. POPL 1994, pp. 268–279. ACM Press, New York
2. Arenas-Sánchez, P., López-Fraguas, F.J., Rodríguez-Artalejo, M.: Functional plus Logic Programming with Built-in and Symbolic Constraints. Technical Report SIP- 85/98, UCM., Available at
ftp://147.96.25.167/pub/seta.ps.gz
3. Lecture Notes in Computer Science;P. Arenas-Sánchez,1998
4. Lecture Notes in Computer Science;P. Arenas-Sánchez,1997
5. Arenas-Sánchez, P., Rodríguez-Artalejo, M.: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. In: Proc. ILPS 1997, pp. 53–69. The MIT Press, Cambridge (1997)