Journal of Automated Reasoning (JAR), Volume 43

Volume 43, Number 1, June 2009

Volume 43, Number 2, August 2009

Volume 43, Number 3, October 2009

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

Volume 43, Number 4, December 2009

a service of Schloss Dagstuhl - Leibniz Center for Informatics