Narendran, P., & Otto, F. (1987). It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free.
Chicago Style (17th ed.) CitationNarendran, Paliath, and Friedrich Otto. It Is Decidable in Polynomial Time Whether a Monoid Presented by a Finite Weight-reducing and Confluent Thue System Is Torsion-free. Kaiserslautern, 1987.
MLA (9th ed.) CitationNarendran, Paliath, and Friedrich Otto. It Is Decidable in Polynomial Time Whether a Monoid Presented by a Finite Weight-reducing and Confluent Thue System Is Torsion-free. 1987.
Warning: These citations may not always be 100% accurate.