FLoC'99 Workshop on

STRATEGIES IN AUTOMATED DEDUCTION (STRATEGIES'99)