1. Publisher's announcement

   Announcement Pages: v - v

2. Model minimization —An alternative to circumscription

   • Jaakko Hintikka

   OriginalPaper Pages: 1 - 13

3. Meta-level inference: Two applications

   • Alan Bundy
   • Leon Sterling

   OriginalPaper Pages: 15 - 27

4. Designing deductive databases

   • Paul Helman
   • Robert Veroff

   OriginalPaper Pages: 29 - 68

5. HARP: A tableau-based theorem prover

   • F. Oppacher
   • E. Suen

   OriginalPaper Pages: 69 - 100

6. The problem of finding a strategy to control binary paramodulation

   • Larry Wos

   Basic Research Problems Pages: 101 - 107

7. Errata

   Erratum Pages: 109 - 111

8. Book received

   Legacy Pages: 113 - 113

9. Announcements

   Announcement Pages: 115 - 116