  We give semi-decision procedures for the ground word problem of variable
preserving term equation systems and term equation systems. They are natural
improvements of two well known trivial semi-decision procedures. We show the
correctness of our procedures.
