Journals in DBLP

J. Autom. Reasoning
1998, volume: 20, number: 3

1. Guoxiang Huang, Dale Myers
   Subgoal Strategies for Solving Board Puzzles. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:215-253 [Journal]
   
2. Erica Melis
   The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:255-282 [Journal]
   
3. Kahlil Hodgson
   Shortest Single Axioms for the Equivalential Calculus with CD and RCD. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:283-316 [Journal]
   
4. Hans Jürgen Ohlbach
   Elimination of Self-Resolving Clauses. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:317-336 [Journal]
   
5. M. Paramasivam, David A. Plaisted
   Automated Deduction Techniques for Classification in Description Logic Systems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:337-364 [Journal]
   
6. Abdelilah Kandri-Rody, Hamid Maarouf, Mohamed Ssafini
   Triviality and Dimension of a System of Algebraic Differential Equations. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:20, n:3, pp:365-385 [Journal]