Journal of Automated Reasoning (JAR), Volume 32

Volume 32, Number 1, January 2004

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

Volume 32, Number 2, February 2004

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

Volume 32, Number 3, September 2004

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

Volume 32, Number 4, 2004

• Obituary of Harald Ganzinger. BibTeX
• Francisco-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. 287-313 BibTeX
• Xavier Urbain: Modular & Incremental Automated Termination Proofs. 315-355 BibTeX