A Complete Superposition Calculus for Primal Grammars Hicham BensaidNicolas Peltier OriginalPaper 19 September 2014 Pages: 317 - 350
Reasoning with Nominal Schemas through Absorption Andreas SteigmillerBirte GlimmThorsten Liebig OriginalPaper 14 August 2014 Pages: 351 - 405
On the Formalization of Gamma Function in HOL Umair SiddiqueOsman Hasan OriginalPaper 25 July 2014 Pages: 407 - 429