External Links

    Journal: Journal of Automated Reasoning

    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
    runs on