Synthesis of eureka predicates for developing logic programs

Semantics preserving transformation rules for Prolog

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

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

Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)

Predictive Software

Automated Software Engineering

Linearisability on datalog programs

Theoretical Computer Science