MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions Behzad AkbarpourLawrence Charles Paulson OriginalPaper 18 August 2009 Pages: 175 - 205
Towards Constructive DL for Abstraction and Refinement Michael MendlerStephan Scheele OriginalPaper 23 September 2009 Pages: 207 - 243
On Modern Clause-Learning Satisfiability Solvers Knot PipatsrisawatAdnan Darwiche OriginalPaper 06 November 2009 Pages: 277 - 301