1. An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem

   • David M. Russinoff

   OriginalPaper Pages: 121 - 139

2. Deduction in non-Horn databases

   • Adnan Yahya
   • Lawrence J. Henschen

   OriginalPaper Pages: 141 - 160

3. The concept and implementation of skeletal plans

   • Peter E. Friedland
   • Yumi Iwasaki

   OriginalPaper Pages: 161 - 208

4. Reasoning about equality

   • E. L. Lusk
   • R. A. Overbeek

   Problem Corner Pages: 209 - 228

5. Announcements

   Announcement Pages: 229 - 229

6. Changes of address

   Announcement Pages: 230 - 230