Regular Approximation of Computation Paths in Logic and Functional Languages. - John P. Gallagher; Laura Lafave (Dagstuhl Seminar on Partial Evaluation, 1996)

Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. - Laura Lafave; John P. Gallagher (LOPSTR, 1997)

The Role of Trace Abstractions in Program Specialization Algorithms. - John P. Gallagher; Laura Lafave (ACM Comput. Surv., 1998)

Extending the Power of Automatic Constraint-Based Partial Evaluators. - Laura Lafave; John P. Gallagher (ACM Comput. Surv., 1998)

A constraint-based partial evaluator for functional logic programs and its application. - Laura Lafave (1998)