External Links

    Journal: Journal of Automated Reasoning

    Volume 32, Issue 4

    0 -- 0. Obituary of Harald Ganzinger
    287 -- 313Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina. Formal Verification of a Generic Framework to Synthetize SAT-Provers
    315 -- 355Xavier Urbain. Modular & Incremental Automated Termination Proofs

    Volume 32, Issue 3

    185 -- 186Deepak Kapur. Preface
    187 -- 226Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn. Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems
    227 -- 258Richard Sommer, Gregory Nuckols. A Proof Environment for Teaching Mathematics
    259 -- 286Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner. Living Book - Deduction, Slicing, and Interaction

    Volume 32, Issue 2

    93 -- 102Lin Hai, Jigui Sun. Knowledge Compilation Using the Extension Rule
    103 -- 120Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela. Fast Term Indexing with Coded Context Trees
    121 -- 166Christoph Kreitz, Heiko Mantel. A Matrix Characterization for Multiplicative Exponential Linear Logic
    167 -- 184C. A. Johnson. Top-Down Query Processing in First-Order Deductive Databases under the DWFS

    Volume 32, Issue 1

    1 -- 2Deepak Kapur. Preface
    3 -- 33Noboru Matsuda, Kurt VanLehn. GRAMY: A Geometry Theorem Prover Capable of Construction
    35 -- 73Christoph Walther, Stephan Schweitzer. Verification in the Classroom
    75 -- 92Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs
    runs on