Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

G. A. Wiggins, Alan Bundy, I. Kraan, J. Hesketh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of LoPSTr-91
Publication statusPublished - 1991

Cite this