A Generalized Unifying Principle for Clause Elimination in First-Order Logic with Equality