1. A transformation system for developing recursive programs;Burstall;J. ACM,1977
2. Unfold/fold transformation of logic programs;Tamaki,1984
3. Decidability results and characterization of strategies for the development of logic programs;Pettorossi,1989
4. Synthesis of eureka predicates for developing logic programs;Proietti,1990
5. Logic program specialisation through partial deduction: control issues;Leuschel;Theory Pract. Log. Program.,2002