Journal of Automated Reasoning, Volume 48

Volume 48, Number 1, January 2012

Volume 48, Number 2, February 2012

Special Issue on Security and Rewriting

Volume 48, Number 3, March 2012

Volume 48, Number 4, April 2012