The following publications are possibly variants of this publication:
- Supervising Offline Partial Evaluation of Logic Programs Using Online TechniquesMichael Leuschel, Stephen-John Craig, Daniel Elphick. LOPSTR 2007: 43-59 [doi]
- Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.
- An offline partial evaluator for curry programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. wcflp 2005: 49-53 [doi]
- Fast narrowing-driven partial evaluation for inductively sequential programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. ICFP 2005: 228-239 [doi]
- A framework for the integration of partial evaluation and abstract interpretation of logic programsMichael Leuschel. TOPLAS, 26(3):413-463, 2004. [doi]
- Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. TOPLAS, 20(4):768-844, 1998. [doi]