Bottom-Up Specialisation of Logic Programs

Partial evaluation in logic programming

Journal of Logic Programming

Tutorial on specialisation of logic programs

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

A compositional semantics for logic programs

FGCS'921 Selected papers of the conference on Fifth generation computer systems

Specialising the other way around

JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming

A Framework for Bottom Up Specialisation of Logic Programs

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming

Data-driven Transformation of Meta-interpreters: A Sketch

PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge