1. SET-VAR

   • W. W. Bledsoe
   • Guohui Feng

   Studies In Automated Reasoning Pages: 293 - 314

2. The CADE-11 competitions: A personal view

   • Ross Overbeek

   OriginalPaper Pages: 315 - 316

3. Uniform strategies: The CADE-11 theorem proving contest

   • Ewing L. Lusk
   • William W. McCune

   OriginalPaper Pages: 317 - 331

4. Automated proofs of equality problems in Overbeek's competition

   • Hantao Zhang

   OriginalPaper Pages: 333 - 351

5. Set theory for verification: I. From foundations to functions

   • Lawrence C. Paulson

   OriginalPaper Pages: 353 - 389

6. −-match: An inference rule for incrementally elaborating set instantiations

   • Sidney C. Bailin
   • Dave Barker-Plummer

   OriginalPaper Pages: 391 - 428

7. Book review

   • Simon Parsons

   BookReview Pages: 429 - 431

8. The problem of induction

   • Larry Wos

   Basic Research Problems Pages: 433 - 434