Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets Eugenio G. OmodeoAlexandru I. Tomescu OriginalPaper 30 November 2012 Pages: 1 - 29
Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution Matthew GwynneOliver Kullmann OriginalPaper 09 March 2013 Pages: 31 - 65
Terminating Calculi for Propositional Dummett Logic with Subformula Property Guido Fiorino OriginalPaper 02 March 2013 Pages: 67 - 97
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry Marta R. HidalgoRobert Joan-Arinyo OriginalPaper 13 March 2013 Pages: 99 - 122