1. Preface: Special Issue of Selected Extended Papers of CADE-22

   • Renate A. Schmidt
   • Brigitte Pientka

   EditorialNotes 22 December 2010 Pages: 107 - 109

2. Automated Inference of Finite Unsatisfiability

   • Koen Claessen
   • Ann Lillieström

   OriginalPaper 05 January 2011 Pages: 111 - 132

3. Proving Termination by Dependency Pairs and Inductive Theorem Proving

   • Carsten Fuhs
   • Jürgen Giesl
   • Stephan Swiderski

   OriginalPaper 15 January 2011 Pages: 133 - 160

4. On Deciding Satisfiability by Theorem Proving with Speculative Inferences

   • Maria Paola Bonacina
   • Christopher A. Lynch
   • Leonardo de Moura

   OriginalPaper 22 December 2010 Pages: 161 - 189

5. A Combined Superposition and Model Evolution Calculus

   • Peter Baumgartner
   • Uwe Waldmann

   OriginalPaper 22 December 2010 Pages: 191 - 227