Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: logic program synthesis
RP729
1995 Research Paper
Kraan,I;
Basin,D
;
Bundy,A
Middle-Out Reasoning for Synthesis and Induction
RP638
1993 Research Paper
Kraan,I;
Basin,D
;
Bundy,A
Middle-Out Reasoning for Logic Program Synthesis