A New Lower Bound Construction for the Word Problem for Commutative Thue Systems

Chee-Keng Yap. A New Lower Bound Construction for the Word Problem for Commutative Thue Systems. Journal of Symbolic Computation, 12(1):1-28, 1991.

Abstract

Abstract is missing.