Journal of Automated Reasoning (JAR), Volume 37

Volume 37, Numbers 1-2, August 2006

Empirically Successful Automated Reasoning: Applications Issue

Volume 37, Number 3, October 2006

Third Special Issue on Techniques for Automated Termination Proofs

Volume 37, Number 4, November 2006

a service of Schloss Dagstuhl - Leibniz Center for Informatics