Journals in DBLP

J. Autom. Reasoning
2006, volume: 36, number: 4

1. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
   Empirically Successful Automated Reasoning: Systems Issue. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:287- [Journal]
   
2. Bernd Löchner
   Things to Know when Implementing KBO. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:289-310 [Journal]
   
3. Michael Beeson
   Mathematical Induction in Otter-Lambda. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:311-344 [Journal]
   
4. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
   Answer Set Programming Based on Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:345-377 [Journal]
   
5. Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
   An Integrated Approach to High Integrity Software Verification. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:379-410 [Journal]