External Links

    Journal: Journal of Automated Reasoning

    Volume 21, Issue 2

    135 -- 175Larry Wos. Automating the Search for Elegant Proofs
    177 -- 203Geoff Sutcliffe, Christian B. Suttner. The TPTP Problem Library - CNF Release v1.2.1
    205 -- 231Andrei Voronkov. Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-Unification
    233 -- 275Jacques Chazarain, Serge Muller. Automated Synthesis of Recursive Programs from a forall-exists Logical Specification
    runs on