Journals in DBLP

J. Autom. Reasoning
1997, volume: 19, number: 1

1. Jürgen Giesl
   Termination of Nested and Mutually Recursive Algorithms. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:1, pp:1-29 [Journal]
   
2. C. A. Johnson
   Deduction Trees and the View Update Problem in Indefinite Deductive Databases. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:1, pp:31-85 [Journal]
   
3. Paliath Narendran, Friedrich Otto
   Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:1, pp:87-115 [Journal]
   
4. Owen L. Astrachan, Donald W. Loveland
   The Use of Lemmas in the Model Elimination Procedure. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:1, pp:117-141 [Journal]