Undecidability of Ground Reducibility for Word Rewriting Systems with Variables

G. Kucherov, M. Rusinowitch — Information Processing Letters, 53, pp. 209-215, 1995.