External Links

    Journal: Journal of Automated Reasoning

    Volume 12, Issue 3

    273 -- 304Tanel Tammet. Proof Sytrategies in Linear Logic
    305 -- 349Louiqa Raschid, Jorge Lobo. A Semantics for a Class of Non-Deterministic and Causal Production System Programs
    351 -- 358Giuseppa Carrà Ferro. An Extension of a Procedure to Prove Statements in Differential Geometry
    359 -- 388Shie-Jue Lee, Chih-Hung Wu. Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures
    389 -- 406Zhenyu Qian, Tobias Nipkow. Reduction and Unification in Lambda Calculi with a General Notion of Subtype

    Volume 12, Issue 2

    139 -- 156Ralph Butler, Ross A. Overbeek. Formula Databases for High-Performance Resolution/Paramodulation Systems
    157 -- 208Seng-cho Timothy Chou, Marianne Winslett. A Model-Based Belief Revision System
    225 -- 240Edmund K. Burke, Jieh Hsiang. On Subsumption in Distributed Derivations
    225 -- 240Maria Paola Bonacina, Jieh Hsiang. On subsumption in distributed derivations
    241 -- 264Vincent J. Digricoli. The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems
    265 -- 271Larry Wos. The problem of hyperparamodulation

    Volume 12, Issue 1

    1 -- 32Eliezer L. Lozinskii. Resolving Contradictions: A Plausible Semantics for Inconsistent Systems
    33 -- 46J. Strother Moore. Introduction to the OBDD Algorithm for the ATP Community
    47 -- 88Taïeb Mellouli. TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic
    89 -- 102Belaid Benhamou, Lakhdar Sais. Tractability Through Symmetries in Propositional Calculus
    103 -- 130J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt. Resolution Theorem Proving in Reified Modal Logics
    runs on