Journals in DBLP
Wu Wen-Tsün Basic Principles of Mechanical Theorem Proving in Elementary Geometries. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:3, pp:221-252 [Journal ] Shang-Ching Chou , William F. Schelter Proving Geometry Theorems with Rewrite Rules. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:3, pp:253-273 [Journal ] Manfred Schmidt-Schauß Unification under Associativity and Idempotence is of Type Nullary. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:3, pp:277-281 [Journal ] Franz Baader The Theory of Idempotent Semigroups is of Unification Type Zero. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:3, pp:283-286 [Journal ] Robert S. Boyer , Ewing L. Lusk , William McCune , Ross A. Overbeek , Mark E. Stickel , Larry Wos Set Theory in First-Order Logic: Clauses for Gödel's Axioms. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal ]