Journal of Automated Reasoning (JAR), Volume 35

Volume 35, Numbers 1-3, October 2005

Volume 35, Number 4, November 2005