1. A Benchmark Method for the Propositional Modal Logics K, KT, S4

   • Peter Balsiger
   • Alain Heuerding
   • Stefan Schwendimann

   OriginalPaper Pages: 297 - 317

2. Single Step Tableaux for Modal Logics

   • Fabio Massacci

   OriginalPaper Pages: 319 - 364

3. A Hyperbase for Binary Lattice Hyperidentities

   • R. Padmanabhan
   • P. Penner

   OriginalPaper Pages: 365 - 370

4. The CADE-16 ATP System Competition

   • Geoff Sutcliffe

   OriginalPaper Pages: 371 - 396