External Links

    Journal: Journal of Automated Reasoning

    Volume 52, Issue 1

    1 -- 29Eugenio G. Omodeo, Alexandru I. Tomescu. Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
    31 -- 65Matthew Gwynne, Oliver Kullmann. Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
    67 -- 97Guido Fiorino. Terminating Calculi for Propositional Dummett Logic with Subformula Property
    99 -- 122Marta R. Hidalgo, Robert Joan-Arinyo. The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
    runs on