Editor's preface to ‘basic principles of mechanical theorem proving in elementary geometries’ by Wu Wen-tsun J Strother Moore EditorialNotes Pages: 219 - 220
Basic principles of mechanical theorem proving in elementary geometries Wu Wen-Tsun OriginalPaper Pages: 221 - 252
Proving geometry theorems with rewrite rules Shang-Ching ChouWilliam F. Schelter OriginalPaper Pages: 253 - 273
Unification under associativity and idempotence is of type nullary Manfred Schmidt-Schauss OriginalPaper Pages: 277 - 281
The theory of idempotent semigroups is of unification type zero Franz Baader OriginalPaper Pages: 283 - 286
Set theory in first-order logic: Clauses for Gödel's axioms Robert BoyerEwing LuskLawrence Wos Problem Corner Pages: 287 - 327