Equivalence of Reductions in Higher-Order Rewriting by