1. Editor's preface to ‘basic principles of mechanical theorem proving in elementary geometries’ by Wu Wen-tsun

   • J Strother Moore

   EditorialNotes Pages: 219 - 220

2. Basic principles of mechanical theorem proving in elementary geometries

   • Wu Wen-Tsun

   OriginalPaper Pages: 221 - 252

3. Proving geometry theorems with rewrite rules

   • Shang-Ching Chou
   • William F. Schelter

   OriginalPaper Pages: 253 - 273

4. Editor's note

   • Joerg H. Siekmann

   EditorialNotes Pages: 275 - 275

5. Unification under associativity and idempotence is of type nullary

   • Manfred Schmidt-Schauss

   OriginalPaper Pages: 277 - 281

6. The theory of idempotent semigroups is of unification type zero

   • Franz Baader

   OriginalPaper Pages: 283 - 286

7. Set theory in first-order logic: Clauses for Gödel's axioms

   • Robert Boyer
   • Ewing Lusk
   • Lawrence Wos

   Problem Corner Pages: 287 - 327