On ground reducibility problem for word rewriting systems with variables.

Gregory Kucherov, Michal Rusinowitch

Browse the full SAC paper archive.