Chee-Keng Yap A New Lower Bound Construction for the Word Problem for Commutative Thue Systems. 1-28 1991 12 J. Symb. Comput. 1 db/journals/jsc/jsc12.html#Yap91