Journals in DBLP

J. Autom. Reasoning
1993, volume: 11, number: 2

1. Klaus U. Schulz
   Wort Unification and Transformation of Generalized Equations. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:149-184 [Journal]
   
2. Alexandre Boudet
   Competing for the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:185-212 [Journal]
   
3. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
   IMPS: An Interactive Mathematical Proof System. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:213-248 [Journal]
   
4. John Grant, John F. Horty, Jorge Lobo, Jack Minker
   View Updates in Stratified Disjunctive Databases. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:249-267 [Journal]
   
5. Jinchang Wang
   Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:269-288 [Journal]
   
6. Larry Wos
   The Problem of Reasoning by Case Analysis. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:2, pp:289-291 [Journal]