A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting