Journal of Automated Reasoning (JAR), Volume 40

Volume 40, Number 1, January 2008

Volume 40, Numbers 2-3, March 2008

Selected Papers from the 3rd International Joint Conference on Automated Reasoning

Volume 40, Number 4, May 2008