Journal of Automated Reasoning, Volume 56

Volume 56, Number 1, January 2016

Volume 56, Number 2, February 2016

Volume 56, Number 3, March 2016

Special Issue of Selected Extended Papers of ITP 2014

Volume 56, Number 4, April 2016

maintained by Schloss Dagstuhl LZI at University of Trier