Journal of Automated Reasoning, Volume 51

Volume 51, Number 1, June 2013

Special Issue of Selected Extended Papers of CADE-23

Volume 51, Number 2, August 2013

Volume 51, Number 3, October 2013

Volume 51, Number 4, December 2013

maintained by Schloss Dagstuhl LZI at University of Trier