1. A Complete Superposition Calculus for Primal Grammars

   • Hicham Bensaid
   • Nicolas Peltier

   OriginalPaper 19 September 2014 Pages: 317 - 350

2. Reasoning with Nominal Schemas through Absorption

   • Andreas Steigmiller
   • Birte Glimm
   • Thorsten Liebig

   OriginalPaper 14 August 2014 Pages: 351 - 405

3. On the Formalization of Gamma Function in HOL

   • Umair Siddique
   • Osman Hasan

   OriginalPaper 25 July 2014 Pages: 407 - 429