An effective one-step hyperperpetual reduction strategy for combinators

Abstract: "We construct an effective one-step reduction strategy [phi] for combinators such that [phi] is normalizing and if M has no normal form then the iterations M,[phi](M),...,[phi]m̂(M),... are all distinct."