The following publications are possibly variants of this publication:
- FDT is Undecidable for Finitely Presented Monoids with Solvable Word ProblemsFriedrich Otto, Andrea Sattler-Klein. fct 1997: 388-399
- Undecidability Results for Monoids with Linear-Time Decidable Word ProblemsMasashi Katsura, Yuji Kobayashi, Friedrich Otto. isaac 2000: 278-289 [doi]
- Cross-Sections for Finitely Presented Monoids with Decidable Word ProblemsFriedrich Otto, Masashi Katsura, Yuji Kobayashi. RTA 1997: 53-67
- Undecidable properties of monoids with word problem solvable in linear time. Part II-- cross sections and homological and homotopical finiteness conditionsMasashi Katsura, Yuji Kobayashi, Friedrich Otto. TCS, 1-3(301):79-101, 2003. [doi]
- Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue SystemsFriedrich Otto. RTA 1985: 95-106
- Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting SystemsCraig C. Squier, Friedrich Otto. RTA 1987: 74-82
- Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and GroupsKlaus Madlener, Friedrich Otto. JSC, 1(4):383-418, 1985.
- It is Decidable in Polynomial Time Whether a Monoid Presented by a Finite Weight-Reducing and Confluent Thue System is Torsion-FreePaliath Narendran, Friedrich Otto. AAECC 1989: 341-349