Title: A new lower bound construction for the word problem for commutative Thue systems
First published: 1988