A new lower bound construction for the word problem for commutative Thue systems by Chee-Keng Yap | Menrva Books | MenrvaBooks