External Links

    Journal: Journal of Automated Reasoning

    Volume 11, Issue 3

    293 -- 314W. W. Bledsoe, Guohui Feng. Set-Var
    315 -- 316Ross A. Overbeek. The CADE-11 Competitions: A Personal View
    317 -- 331Ewing L. Lusk, William McCune. Uniform Strategies: The CADE-11 Theorem Proving Contest
    333 -- 351Hantao Zhang. Automated Proofs of Equality Problems in Overbeek s Competition
    353 -- 389Lawrence C. Paulson. Set Theory for Verification: I. From Foundations to Functions
    391 -- 428Sidney C. Bailin, Dave Barker-Plummer. Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations
    433 -- 434Larry Wos. The Problem of Induction

    Volume 11, Issue 2

    149 -- 184Klaus U. Schulz. Wort Unification and Transformation of Generalized Equations
    185 -- 212Alexandre Boudet. Competing for the AC-Unification Race
    213 -- 248William M. Farmer, Joshua D. Guttman, F. Javier Thayer. IMPS: An Interactive Mathematical Proof System
    249 -- 267John Grant, John F. Horty, Jorge Lobo, Jack Minker. View Updates in Stratified Disjunctive Databases
    269 -- 288Jinchang Wang. Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method
    289 -- 291Larry Wos. The Problem of Reasoning by Case Analysis

    Volume 11, Issue 1

    1 -- 22Adrian Walker. Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete
    23 -- 41Fausto Giunchiglia, Toby Walsh. The Inevitability of Inconsistent Abstract Spaces
    41 -- 81Amy P. Felty. Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language
    83 -- 113Alberto Maria Segre, Daniel Scharstein. Bounded-Overhead Caching for Definite-Clause Theorem Proving
    115 -- 145Gopalan Nadathur. A Proof Procedure for the Logic of Hereditary Harrop Formulas
    147 -- 148Larry Wos. The Problem of Naming and Function Replacement
    runs on