1. Abramov, S. and Glück, R., “The Universal Resolving Algorithm: Inverse Computation in a Functional Language,” inProc. of the 5th Int’l Conf. on Mathematics of Program Construction, Springer LNCS 1837, pp. 187–212, 2000.
2. Albert, E., “Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency,” Ph.D. thesis, DSIC, Universidad Politécnica de Valencia, 2001. Available from URL: http://www.dsic.upv.es/users/elp/papers.html.
3. Albert, E., Alpuente, M., Falaschi, M., Julián, P. and Vidal, G., “Improving Control in Functional Logic Program Specialization,” inProc. of the 5th Int’l Static Analysis Symposium (SAS’98), Springer LNCS 1503, pp. 262–277, 1998.
4. Albert, E., Alpuente, M., Hanus, M. and Vidal, G., “A Partial Evaluation Framework for Curry Programs,” inProc. of the 6th Int’l Conf. on Logic Programming and Automated Reasoning (LPAR’99), Springer LNAI 1705, pp. 376–395, 1999.
5. Albert, E., Antoy, S. and Vidal, G., “Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages,” inProc. of the 10th Int’l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR’2000), Springer LNCS 2042, pp. 103–124, 2001.