Journal of Automated Reasoning, Volume 49
Volume 49, Number 1, June 2012
Freek Wiedijk:
"Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009. 107-109
Volume 49, Number 2, August 2012
Special Issue:
Theory and Applications of Abstraction, Substitution and Naming
Volume 49, Number 3, October 2012
Special Issue:
The POPLmark Challenge
Stefan Berghofer:
A Solution to the PoplMark Challenge Using de Bruijn Indices in Isabelle/HOL. 303-326 Jérôme Vouillon:
A Solution to the PoplMark Challenge Based on de Bruijn Indices. 327-362
Volume 49, Number 4, December 2012
maintained by

at
