Journals in DBLP

J. Autom. Reasoning
1994, volume: 12, number: 1

1. Eliezer L. Lozinskii
   Resolving Contradictions: A Plausible Semantics for Inconsistent Systems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:12, n:1, pp:1-32 [Journal]
   
2. J. Strother Moore
   Introduction to the OBDD Algorithm for the ATP Community. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:12, n:1, pp:33-46 [Journal]
   
3. Taïeb Mellouli
   TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:12, n:1, pp:47-88 [Journal]
   
4. Belaid Benhamou, Lakhdar Sais
   Tractability Through Symmetries in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:12, n:1, pp:89-102 [Journal]
   
5. J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt
   Resolution Theorem Proving in Reified Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:12, n:1, pp:103-130 [Journal]