Gregory Kucherov, Michaël Rusinowitch. The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. In Nachum Dershowitz, Naomi Lindenstrauss, editors, Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings. Volume 968 of Lecture Notes in Computer Science, pages 262-275, Springer, 1994.
Abstract is missing.