Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: synthesis
RP602
1992 Research Paper
Bundy,A
Tutorial Notes: Reasoning About Logic Programs