On Ground-Reducibility Problem for Word Rewriting Systems with Variables (1994)

by G Kucherov, M Rusinowitch
Venue:Proceedings 1994 ACM/SIGAPP Symposium on Applied Computing