Journal of Automated Reasoning (JAR), Volume 33

Volume 33, Number 1, July 2004

• Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch:
  Unification Modulo ACUI Plus Distributivity Axioms. 1-28
  Electronic Edition (link) BibTeX
• Lawrence C. Paulson:
  Organizing Numerical Theories Using Axiomatic Type Classes. 29-49
  Electronic Edition (link) BibTeX
• Jürgen Zimmer, Erica Melis:
  Constraint Solving for Proof Planning. 51-88
  Electronic Edition (link) BibTeX

Volume 33, Number 2, September 2004

• Chuck Liang, Gopalan Nadathur, Xiaochu Qi:
  Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. 89-132
  Electronic Edition (link) BibTeX
• Nicolas Peltier:
  Representing and Building Models for Decidable Subclasses of Equational Clausal Logic. 133-170
  Electronic Edition (link) BibTeX
• Monty Newborn, Zongyan Wang:
  Octopus: Combining Learning and Parallel Search. 171-218
  Electronic Edition (link) BibTeX

Volume 33, Number 3-4, October 2004

• Deepak Kapur, Laurent Vigneron:
  Preface. 219-220
  Electronic Edition (link) BibTeX
• Silvio Ghilardi:
  Model-Theoretic Methods in Combined Constraint Satisfiability. 221-249
  Electronic Edition (link) BibTeX
• Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz:
  A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. 251-269
  Electronic Edition (link) BibTeX
• Thierry Boy de la Tour, Mnacho Echenim:
  On the Complexity of Deduction Modulo Leaf Permutative Equations. 271-317
  Electronic Edition (link) BibTeX
• Josef Urban:
  MPTP - Motivation, Implementation, First Experiments. 319-339
  Electronic Edition (link) BibTeX
• Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong:
  Reachability Analysis over Term Rewriting Systems. 341-383
  Electronic Edition (link) BibTeX