A Multistrategy Approach to Theory Refinement