External Links

    Journal: Journal of Automated Reasoning

    Volume 8, Issue 3

    311 -- 344Dave Barker-Plummer. Gazing: An Approach to the Problem of Definition and Lemma Use
    345 -- 366Chitta Baral, V. S. Subrahmanian. Stable and Extension Class Theory for Logic Programs and Default Logics
    367 -- 394Robert J. Hall. Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study
    395 -- 419Mark F. Russo, Richard L. Peskin. Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems
    421 -- 426Larry Wos. The Problem of Reasoning from Inequalities

    Volume 8, Issue 2

    153 -- 181Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov. PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses
    183 -- 212Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel. SETHEO: A High-Performance Theorem Prover
    213 -- 274Robert Veroff. The Linked Inference Principle, I: The Formal Treatment
    275 -- 295James D. Baker, Shariar Zand-Biglari. An Integral Theorem Prover And The Role Of Proof Planning
    297 -- 306John C. Shepherdson. SLDNF-Resolution with Equality
    307 -- 309Larry Wos. The Problem of Choosing between Using and Avoiding Eqyality Predicates

    Volume 8, Issue 1

    3 -- 21David M. Russinoff. A Mechanical Proof of Quadratic Reciprocity
    23 -- 38Anita Jindal, Ross A. Overbeek, Waldo C. Kabat. Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems
    39 -- 44Eric Domenjoud. A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x::1:: + . . . + alpha x::p:: =::AC:: beta y::1:: + . . . + beta y::q::
    45 -- 75Larry M. Hines. Completeness of a Prover for Dense Linear Orders
    77 -- 90Shyi-Ming Chen, Jyh-Sheng Ke, Jin-Fu Chang. An Inexact Reasoning Algorithm Based on Fuzzy Rule Matrix Transformations
    91 -- 147Art Quaife. Automated Deduction in von Neumann-Bernays-Gödel Set Theory
    runs on