Journal of Automated Reasoning, Volume 49

Volume 49, Number 1, June 2012

Volume 49, Number 2, August 2012

Special Issue: Theory and Applications of Abstraction, Substitution and Naming

Volume 49, Number 3, October 2012

Special Issue: The POPLmark Challenge

Volume 49, Number 4, December 2012

maintained by Schloss Dagstuhl LZI at University of Trier