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