Key points are not available for this paper at this time.
reduction systems.
Ding et al. (Wed,) studied this question.