Journal of Automated Reasoning, Volume 57

Volume 57, Number 1, June 2016

Special Issue: Interpolation

Volume 57, Number 2, August 2016

Volume 57, Number 3, October 2016

Volume 57, Number 4, December 2016

maintained by Schloss Dagstuhl LZI at University of Trier