1. A well-kept secret of history

   EditorialNotes Pages: 301 - 302

2. Experiments with proof plans for induction

   • Alan Bundy
   • Frank van Harmelen
   • Alan Smaill

   OriginalPaper Pages: 303 - 324

3. Optimizing the clausal normal form transformation

   • Rolf Socher

   OriginalPaper Pages: 325 - 336

4. Compiling bottom-up and mixed derivations into top-down executable logic programs

   • Danny De Schreye
   • Bern Martens
   • Maurice Bruynooghe

   OriginalPaper Pages: 337 - 358

5. Generating relevant models

   • Allan Ramsay

   OriginalPaper Pages: 359 - 368

6. The unification hierarchy is undecidable

   • Werner Nutt

   OriginalPaper Pages: 369 - 381

7. Programming in temporal-nonmonotonic reasoning

   • Tong Gao Tang

   OriginalPaper Pages: 383 - 401

8. Pattern-directed invocation with changing equations

   • Yishai A. Feldman
   • Charles Rich

   OriginalPaper Pages: 403 - 433

9. The problem of choosing the type of subsumption to use

   • Larry Wos

   Basic Research Problems Pages: 435 - 438

10. Proving Matijasevich's lemma with a default arithmetic strategy

    • Matthew Wilding

    Problem Corner Pages: 439 - 446