1. Foreword

   • Hélène Kirchner
   • Giorgio Levi

   Editorial Pages: 129 - 129

2. Generalized sufficient conditions for modular termination of rewriting

   • Bernhard Gramlich

   OriginalPaper Pages: 131 - 158

3. A declarative approach for first-order built-in's of Prolog

   • Krzysztof R. Apt
   • Elena Marchiori
   • Catuscia Palamidessi

   OriginalPaper Pages: 159 - 191

4. Refutational theorem proving for hierarchic first-order theories

   • Leo Bachmair
   • Harald Ganzinger
   • Uwe Waldmann

   OriginalPaper Pages: 193 - 212

5. Completeness results for basic narrowing

   • Aart Middeldorp
   • Erik Hamoen

   OriginalPaper Pages: 213 - 253