1. Special Issue “Termination”

   • Jürgen Giesl
   • Pierre Lescanne

   Editorial Pages: 1 - 2

2. The Termination Hierarchy for Term Rewriting

   • H. Zantema

   Pages: 3 - 19

3. Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity

   • Dieter Hofbauer

   Pages: 21 - 38

4. Verification of Erlang Processes by Dependency Pairs

   • Jürgen Giesl
   • Thomas Arts

   Pages: 39 - 72

5. Termination of Logic Programs: Transformational Methods Revisited

   • Enno Ohlebusch

   Pages: 73 - 116

6. A General Framework for Automatic Termination Analysis of Logic Programs

   • Nachum Dershowitz
   • Naomi Lindenstrauss
   • Alexander Serebrenik

   Pages: 117 - 156

7. Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism

   • Sofie Verbaeten
   • Danny De Schreye

   Pages: 157 - 196