Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity Dieter Hofbauer Pages: 21 - 38
A General Framework for Automatic Termination Analysis of Logic Programs Nachum DershowitzNaomi LindenstraussAlexander Serebrenik Pages: 117 - 156
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism Sofie VerbaetenDanny De Schreye Pages: 157 - 196