1. Proof Pearl—A Mechanized Proof of GHC’s Mergesort

   • Christian Sternagel

   OriginalPaper Open access 26 September 2012 Pages: 357 - 370

2. Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints

   • Carles Creus
   • Adrià Gascón
   • Guillem Godoy

   OriginalPaper 08 November 2012 Pages: 371 - 400

3. Finite-valued Semantics for Canonical Labelled Calculi

   • Matthias Baaz
   • Ori Lahav
   • Anna Zamansky

   OriginalPaper 15 March 2013 Pages: 401 - 430

4. Finite Reasons for Safety

   • Alexei Lisitsa

   OriginalPaper 23 February 2013 Pages: 431 - 451

5. “Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008

   • Clark Barrett

   BookReview 26 October 2013 Pages: 453 - 456