1. Lect Notes Comput Sci;H. Aït-Kaci,1990
2. H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. of Fourth IEEE Int’l Symp. on Logic Programming, pages 17–23. IEEE, New York, 1987.
3. E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User’s Manual. Technical Report DSIC-II/12/98, UPV, 1998. Available from URL:
http://www.dsic.upv.es/users/elp/papers.html
.
4. E. Albert, M. Alpuente, M. Hanus, and G. Vidal. Partial Evaluation of Residuating Functional Logic Programs. Technical report, DSIC, UPV, 1999. Available from URL:
http://www.dsic.upv.es/users/elp/papers.html
.
5. M. Alpuente, M. Falaschi, P. Julián, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM’97, volume 32, 12 of Sigplan Notices, pages 151–162, New York, 1997. ACM Press.