4th International Workshop on Strategies in Automated Deduction held in conjunction with IJCAR 2001