Word problems for Thue systems with a few relations (1993)

by Yuri Matiyasevich
Venue:Term Rewriting. Springer Lecture Notes in Computer Science 909