1. Lecture Notes in Computer Science;M. Bruynooghe,2002
2. Bruynooghe, M., De Schreye, D., Martens, B.: A general criterion for avoiding infinite unfolding during partial deduction. New Generation Computing 11(1), 47–79 (1992)
3. Lecture Notes in Computer Science;N. Dershowitz,1993
4. Leuschel, M.: The ecce partial deduction system. In: G. Puebla, editor, Proceedings of the ILPS 1997 Workshop on Tools and Environments for (Constraint) Logic Programming, Universidad Politécnica de Madrid, Tech. Rep. CLIP7/97.1, Port Jefferson, USA (October 1997)
5. Lecture Notes in Computer Science;M. Leuschel,1998