Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. M. Alpuente, M. Falaschi, P. Julián, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of PEPM’97, volume 32, 12 of Sigplan Notices, pages 151–162, New York, 1997. ACM Press. 126
2. Lect Notes Comput Sci;S. Antoy,1997
3. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776–822, July2000. 124
4. S. Antoy, P. Julián Iranzo, and B. Massey. Improving the efficiency of nondeterministic computations. Electronic Notes in Theoretical Computer Science, 64:22, 2002. URL:
http://www.elsevier.nl/locate/entcs/volume64.html
. 119, 120, 121
5. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998. 122