Journal of Automated Reasoning, Volume 60

Volume 60, Number 1, January 2018

Special Issue: Selected Extended Papers of NFM 2016

Volume 60, Number 2, February 2018

Volume 60, Number 3, March 2018

Special Issue: Selected Extended Papers of VSTTE 2016

Volume 60, Number 4, April 2018

maintained by Schloss Dagstuhl LZI at University of Trier