4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)

held in conjunction with IJCAR 2001

in Siena, Italy, June 18, 2001




Accepted Papers