Stratification Criteria and Rewriting Techniques for Checking Chase Termination