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
maintained by Schloss Dagstuhl LZI at University of Trier