Journal of Automated Reasoning, Volume 52

Volume 52, Number 1, January 2014

Volume 52, Number 2, February 2014

Volume 52, Number 3, March 2014

Volume 52, Number 4, April 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics