1. MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

   • Behzad Akbarpour
   • Lawrence Charles Paulson

   OriginalPaper 18 August 2009 Pages: 175 - 205

2. Towards Constructive DL for Abstraction and Refinement

   • Michael Mendler
   • Stephan Scheele

   OriginalPaper 23 September 2009 Pages: 207 - 243

3. Resolution is Cut-Free

   • Olivier Hermant

   OriginalPaper 17 October 2009 Pages: 245 - 276

4. On Modern Clause-Learning Satisfiability Solvers

   • Knot Pipatsrisawat
   • Adnan Darwiche

   OriginalPaper 06 November 2009 Pages: 277 - 301