Christopher Lynch. The Unification Problem for One Relation Thue Systems. In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 195-208, Springer, 1998. [doi]
Abstract is missing.