1. Empirically Successful Automated Reasoning: Systems Issue

   • Bernd Fischer
   • Geoff Sutcliffe
   • Stephan Schulz

   OriginalPaper 15 December 2006 Pages: 287 - 287

2. Things to Know when Implementing KBO

   • Bernd Löchner

   OriginalPaper 15 August 2006 Pages: 289 - 310

3. Mathematical Induction in Otter-Lambda

   • Michael Beeson

   OriginalPaper 07 October 2006 Pages: 311 - 344

4. Answer Set Programming Based on Propositional Satisfiability

   • Enrico Giunchiglia
   • Yuliya Lierler
   • Marco Maratea

   OriginalPaper 29 September 2006 Pages: 345 - 377

5. An Integrated Approach to High Integrity Software Verification

   • Andrew Ireland
   • Bill J. Ellis
   • Janet Barnes

   OriginalPaper 29 September 2006 Pages: 379 - 410