External Links

    Journal: Journal of Automated Reasoning

    Volume 5, Issue 4

    411 -- 428William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young. An Approach to Systems Verification
    429 -- 460Warren A. Hunt Jr.. Microprocessor Design Verification
    461 -- 492J. Strother Moore. A Mechanically Verified Language Implementation
    493 -- 518William D. Young. A Mechanically Verified Code Generator
    519 -- 530William R. Bevier. Kit and the Short Stack
    531 -- 532Larry Wos. The Problem of Guaranteeing the Absence of a Complete Set of Reductions
    533 -- 540Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik. An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods

    Volume 5, Issue 3

    257 -- 291Peter B. Andrews. On Connections and Higher-Order Logic
    293 -- 307Arcot Rajasekar, Jorge Lobo, Jack Minker. Weak Generalized Closed World Assumption
    309 -- 337Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber. Horn Equational Theories and Paramodulation
    339 -- 362Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper. Discovering Inequality Conditions in the Analytic Solution of Optimization Problems
    363 -- 397Lawrence C. Paulson. The Foundation of a Generic Theorem Prover
    399 -- 401Larry Wos. The Problem of Guaranteeing the Existence of a Complete Set of Reductions
    403 -- 408Richard Schmid, Hans-Albert Schneider, Thomas Filkorn. Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle

    Volume 5, Issue 2

    127 -- 139Avra Cohn. The Notion of Proof in Hardware Verification
    141 -- 165Tie-Cheng Wang, Rick Stevens. Solving Open Problems in Right Alternative Rings with Z-Module Reasoning
    167 -- 205Teodor C. Przymusinski. On the Declarative and Procedural Semantics of Logic Programs
    207 -- 233Kwong-Sak Leung, W. Lam. A Fuzzy Expert System Shell Using Both Exact and Inexact Reasoning
    235 -- 237Larry Wos. The Problem of Determining the Size of a Complete Set of Reductions
    239 -- 255Cynthia A. Wick, William McCune. Automated Reasoning about Elementary Point-Set Topology

    Volume 5, Issue 1

    1 -- 23Vladimir Lifschitz. What Is the Inverse Method?
    25 -- 35Dallas Lankford. Non-Negative Integer Basis Algorithms for Linear Equations with Integer Coefficients
    37 -- 47David A. Wolfram. Intractable Unifiability Problems and Backtracking
    49 -- 65Tong Gao Tang. Temporal Logic CTL + PROLOG
    67 -- 91S. Purushothaman, P. A. Subrahmanyam. Mechanical Certification of Systolic Algorithms
    93 -- 95Larry Wos. The Problem of Finding an Inference Rule for Set Theory
    97 -- 118Art Quaife. Automated Development of Tarski s Geometry
    runs on