Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: termination
RP602
1992 Research Paper
Bundy,A
Tutorial Notes: Reasoning About Logic Programs
PP169
1992 Paper in Conference Proceedings
Ross,B
Using Algebraic Semantics for Proving PROLOG Program Termination and Transformation