CADE-14 Workshop on
Strategies in Automated Deduction
Sunday, July 13, 1997
Townsville, Australia
Program
Proceedings
Organizers
Bernhard Gramlich, Hélène Kirchner
CRIN & INRIA-Lorraine, Nancy, France