1. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

   • Amy P. Felty
   • Alberto Momigliano
   • Brigitte Pientka

   OriginalPaper 05 July 2015 Pages: 307 - 372

2. Reverse Complexity

   • Andrea Asperti

   OriginalPaper 23 September 2015 Pages: 373 - 388

   

3. The Higher-Order Prover Leo-II

   • Christoph Benzmüller
   • Nik Sultana
   • Frank Theiß

   OriginalPaper Open access 22 September 2015 Pages: 389 - 404