Editorial: Strategies in Automated Deduction Bernhard GramlichHélène KirchnerFrank Pfenning Editorial Introduction Pages: 0 - 0
Warm fusion in Stratego: A case study in generation of program transformation systems Patricia JohannEelco Visser OriginalPaper Pages: 1 - 34
The use of a strategy language for solving search problems Carlos CastroPeter Borovanský OriginalPaper Pages: 35 - 64
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts L.A. DennisA. BundyI. Green OriginalPaper Pages: 99 - 138
TAME: Using PVS strategies for special-purpose theorem proving Myla Archer OriginalPaper Pages: 139 - 181