1. M. Abengózar-Carneros, P. Arenas-Sánchez, R. Caballero-Roldán, A. Gil-Luezas, J. C. González-Moreno, J. Leach-Albert, F. J. López-Fraguas, M. Rodríguez-Artalejo, J.J. Ruz-Ortiz and J. Sánchez-Hernández. $$ \mathcal{T}\mathcal{O}\mathcal{Y} $$ : A Multiparadigm Declarative Language. Version 1.0. Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Tech. Report SIP-119/00, February 2002. 252
2. Lect Notes Comput Sci;S. Antoy,1992
3. S. Antoy. Constructed-based Conditional Narrowing. PPDP’01, ACM Press 2001, 199–206. 246
4. S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. Journal of the ACM Vol. 47, no. 4, pages 776–822, July 2000. 245, 246
5. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998. 251