Journals in DBLP

J. Autom. Reasoning
1992, volume: 8, number: 2

1. Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
   PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:153-181 [Journal]
   
2. Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
   SETHEO: A High-Performance Theorem Prover. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:183-212 [Journal]
   
3. Robert Veroff
   The Linked Inference Principle, I: The Formal Treatment. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:213-274 [Journal]
   
4. James D. Baker, Shariar Zand-Biglari
   An Integral Theorem Prover And The Role Of Proof Planning. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:275-295 [Journal]
   
5. John C. Shepherdson
   SLDNF-Resolution with Equality. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:297-306 [Journal]
   
6. Larry Wos
   The Problem of Choosing between Using and Avoiding Eqyality Predicates. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:2, pp:307-309 [Journal]