Journals in DBLP

J. Autom. Reasoning
1994, volume: 13, number: 2

1. Melvin Fitting
   Tableaux for Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:2, pp:175-188 [Journal]
   
2. Mark E. Stickel
   Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:2, pp:189-210 [Journal]
   
3. Reiner Hähnle, Peter H. Schmitt
   The Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:2, pp:211-221 [Journal]
   
4. Vincent Risch, Camilla Schwind
   Tableaux-Based Characterization and Theorem Proving for default Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:2, pp:223-242 [Journal]
   
5. Marcello D'Agostino, Dov M. Gabbay
   A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:2, pp:243-281 [Journal]