MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers Daniel KühlweinJosef Urban OriginalPaper Open access 16 July 2015 Pages: 91 - 116
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it) Jared DavisMagnus O. Myreen OriginalPaper 18 June 2015 Pages: 117 - 183
Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders Marta Cialdea Mayer Publisher's Erratum 21 May 2015 Pages: 185 - 185