1. Editorial: Strategies in Automated Deduction

   • Bernhard Gramlich
   • Hélène Kirchner
   • Frank Pfenning

   Editorial Introduction Pages: 0 - 0

2. Warm fusion in Stratego: A case study in generation of program transformation systems

   • Patricia Johann
   • Eelco Visser

   OriginalPaper Pages: 1 - 34

3. The use of a strategy language for solving search problems

   • Carlos Castro
   • Peter Borovanský

   OriginalPaper Pages: 35 - 64

4. Proof planning for strategy development

   • Andrew Ireland
   • Jamie Stark

   OriginalPaper Pages: 65 - 97

5. Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

   • L.A. Dennis
   • A. Bundy
   • I. Green

   OriginalPaper Pages: 99 - 138

6. TAME: Using PVS strategies for special-purpose theorem proving

   • Myla Archer

   OriginalPaper Pages: 139 - 181

7. Annotated reasoning

   • Dieter Hutter

   OriginalPaper Pages: 183 - 222

8. A taxonomy of parallel strategies for deduction

   • Maria Paola Bonacina

   OriginalPaper Pages: 223 - 257