Constructive Many-One Reduction from the Halting Problem to Semi-Unification Academic Article