1. Adding equality to semantic tableaux

   • S. V. Reeves

   OriginalPaper Pages: 225 - 246

2. Unification in Abelian semigroups

   • Alexander Herold
   • Jörg H. Siekmann

   OriginalPaper Pages: 247 - 283

3. A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification

   • Mark E. Stickel

   OriginalPaper Pages: 285 - 289

4. A method for the mechanical derivation of formulas in elementary geometry

   • Shang-Ching Chou

   OriginalPaper Pages: 291 - 299

5. Explicit representation of terms defined by counter examples

   • J. -L. Lassez
   • K. Marriott

   OriginalPaper Pages: 301 - 317

6. The problem of extending the set of support strategy

   • Larry Wos

   Basic Research Problems Pages: 319 - 328

7. Proving self-utterances

   • Michael Miller
   • Donald Perlis

   Problem Corner Pages: 329 - 338

8. Announcements

   Announcement Pages: 339 - 342