Journals in DBLP

J. Autom. Reasoning
1997, volume: 18, number: 3

1. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
   Computing Circumscription Revisited: A Reduction Algorithm. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:3, pp:297-336 [Journal]
   
2. Anavai Ramesh, George Becker, Neil V. Murray
   CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:3, pp:337-356 [Journal]
   
3. Marek A. Suchenek
   Evaluation of Queries under Closed-World Assumption. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:3, pp:357-398 [Journal]
   
4. Dieter Hutter
   Coloring Terms to Control Equational Reasoning. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:3, pp:399-442 [Journal]