Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.

Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh

Browse the full LOPSTR paper archive.