An algorithm for deciding which Redex(es) to Reduce next. Different strategies have different termination properties in the presence of recursive functions or values. See string Reduction, normal order Reduction, {applicative order Reduction}, {parallel Reduction} (1995-05-09)