Journal of Automated Reasoning, Volume 53

Volume 53, Number 1, June 2014

Volume 53, Number 2, August 2014

Volume 53, Number 3, October 2014

Volume 53, Number 4, December 2014

maintained by Schloss Dagstuhl LZI at University of Trier