Journal of Automated Reasoning (JAR), Volume 36

Volume 36, Numbers 1-2, January 2006

Volume 36, Number 3, April 2006

Volume 36, Number 4, April 2006

Empirically Successful Automated Reasoning: Systems Issue
a service of Schloss Dagstuhl - Leibniz Center for Informatics