Geraint A. Wiggins Alan Bundy Ina Kraan Jane Hesketh Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. 27-45 1991 LOPSTR db/conf/lopstr/lopstr91.html#WigginsBKH91