Combination Methods in Automated Reasoning