1. Lect Notes Comput Sci;E. Albert,2001
2. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages. Available from URL: http://www.dsic.upv.es/users/elp/papers.html , 2002.
3. E. Albert, M. Hanus, and G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. In Proc. of LPAR 2000, pages 381–398. Springer LNAI 1955, 2000.
4. Lect Notes Comput Sci;E. Albert,2001
5. E. Albert, M. Hanus, and G. Vidal. A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs, 2002. Submitted for publication. Available at http://www.dsic.upv.es/users/elp/papers.html .