Top-down synthesis of recursive logic procedures for first-order logic specifications

A strategy for transforming generate and test logic programs

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

Logic program synthesis from incomplete specifications

Journal of Symbolic Computation - Special issue on automatic programming

Program Derivation = Rules + Strategies

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Logic Program Synthesis in a Higher-Order Setting

CL '00 Proceedings of the First International Conference on Computational Logic