A New Lower Bound Construction for the Word Problem for Commutative Thue Systems by Chee-Keng Yap | Menrva Books | MenrvaBooks