Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems With Variables

G. Kucherov, M. Rusinowitch — Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems (CTRS-94), Jerusalem, Israel, Springer, pp. 262-275, 1994.