1. Searching for circles of pure proofs

   • Larry Wos

   OriginalPaper Pages: 279 - 315

2. A set-theoretic translation method for polymodal logics

   • G. D'Agostino
   • A. Montanari
   • A. Policriti

   OriginalPaper Pages: 317 - 337

3. leanTAP: Lean tableau-based deduction

   • Bernhard Beckert
   • Joachim Posegga

   OriginalPaper Pages: 339 - 358

4. Branching rules for satisfiability

   • J. N. Hooker
   • V. Vinay

   OriginalPaper Pages: 359 - 383