1. General Algorithms for Permutations in Equational Inference

   • Jürgen Avenhaus
   • David A. Plaisted

   OriginalPaper Pages: 223 - 268

2. STMM: A Set Theory for Mechanized Mathematics

   • William M. Farmer

   OriginalPaper Pages: 269 - 289

3. Reasoning Theories

   • F. Giunchiglia
   • P. Pecchiari
   • C. Talcott

   OriginalPaper Pages: 291 - 331