Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ]