External Links

    Journal: Journal of Automated Reasoning

    Volume 27, Issue 2

    89 -- 95Larry Wos. A Milestone Reached and a Secret Revealed
    97 -- 122Dolph Ulrich. A Legacy Recalled and a Tradition Continued
    123 -- 139Robert Veroff. Finding Shortest Proofs: An Application of Linked Inference Rules
    141 -- 156Kenneth Harris, Branden Fitelson. Distributivity in [Lstrok][aleph]0 and Other Sentential Logics
    157 -- 174Robert Veroff. Solving Open Questions and Other Challenge Problems Using Proof Sketches
    175 -- 199Larry Wos. Conquering the Meredith Single Axiom
    201 -- 225Branden Fitelson, Larry Wos. Missing Proofs Found
    runs on