Journal of Automated Reasoning (JAR), Volume 44

Volume 44, Numbers 1-2, February 2010

Special Issue: Programming Languages and Mechanized Mathematics Systems

Volume 44, Number 3, March 2010

Volume 44, Number 4, April 2010