Orderings for Equational Proofs