Issue 1-4/2000
Content (8 Articles)
Editorial Introduction
Editorial: Strategies in Automated Deduction
Bernhard Gramlich, Hélène Kirchner, Frank Pfenning
Warm fusion in Stratego: A case study in generation of program transformation systems
Patricia Johann, Eelco Visser
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
L.A. Dennis, A. Bundy, I. Green