1. Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

   • Andrei Voronkov

   OriginalPaper Pages: 121 - 151

2. Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

   • Michaël Rusinowitch
   • Sorin Stratulat
   • Francis Klay

   OriginalPaper Pages: 153 - 177

3. The Strategy of Cramming

   • Larry Wos

   OriginalPaper Pages: 179 - 204

4. A Branching Time Temporal Framework for Quantitative Reasoning

   • Krishnendu Chatterjee
   • Pallab Dasgupta
   • P. P. Chakrabarti

   OriginalPaper Pages: 205 - 232