Journals in DBLP

J. Autom. Reasoning
1988, volume: 4, number: 4

1. Mark E. Stickel
   A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:353-380 [Journal]
   
2. Ursula Martin, Tobias Nipkow
   Unification in Boolean Rings. [Citation Graph (1, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:381-396 [Journal]
   
3. Kenneth A. Ross, Rodney W. Topor
   Inferring Negative Information from Disjunctive Databases. [Citation Graph (9, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:397-424 [Journal]
   
4. Klaus Heje Munch
   A New Reduction Rule for the Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:425-444 [Journal]
   
5. Leonard G. Monk
   Inference Rules Using Local Contexts. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:445-462 [Journal]
   
6. Larry Wos
   The Problem of Self-Analytically Choosing the Weights. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:463-464 [Journal]
   
7. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
   Opening the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal]