Journals in DBLP

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

1. Maria Paola Bonacina, Jieh Hsiang
   Parallelization of Deduction Strategies: An Analytical Study. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:1-33 [Journal]
   
2. Piero A. Bonatti
   Autoepistemic Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:35-67 [Journal]
   
3. Li-Yan Yuan
   Autoepistemic Logic of First Order and Its Expressive Power. [Citation Graph (1, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:69-82 [Journal]
   
4. C. A. Johnson
   On the Termination of Clause Graph Resolution. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:83-115 [Journal]
   
5. Adnan H. Yahya, José Alberto Fernández, Jack Minker
   Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:117-143 [Journal]
   
6. Chiaki Sakama, Katsumi Inoue
   An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. [Citation Graph (1, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:1, pp:145-172 [Journal]