All 4 version are valid, but they exemplify different aspects of a reduction.
By default, the first construct using the reduction
clause must be preferred. This is only if some issues are explicitly identified that any of the 3 alternatives might be explored.