Journal of Automated Reasoning, Volume 58

Volume 58, Number 1, January 2017

Special Issue: Selected Extended Papers of IJCAR 2014

Volume 58, Number 2, February 2017

Volume 58, Number 3, March 2017

Special Issue: Selected Extended Papers of CADE 2015

Volume 58, Number 4, April 2017

maintained by Schloss Dagstuhl LZI at University of Trier