. "Leftmost-outermost (one-step) strategy" . "Leftmost-innermost (one-step) strategy" . "Reduction strategy#Term rewriting" . . "Reduction strategy#Lambda calculus" . . "Reduction strategy" . "Optimal reduction" . "Reduction strategy" . . "reduction strategy" .