Extracting logic programs from proofs that use extended Prolog execution and induction

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