Journals in DBLP
Cesare Tinelli Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:1, pp:1-31 [Journal ] Antonella Santone , Gigliola Vaglini Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:1, pp:33-58 [Journal ] Fairouz Kamareddine , Qiao Haiyan Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:1, pp:59-98 [Journal ] Miquel Bofill , Guillem Godoy , Robert Nieuwenhuis , Albert Rubio Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:1, pp:99-120 [Journal ]