The following publications are possibly variants of this publication:
- The Property Fdt is Undecidable for Finitely Presented Monoids that Have Polynomial-Time Decidable Word ProblemsFriedrich Otto, Andrea Sattler-Klein. ijac, 10(3):285-308, 2000. [doi]
- 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]
- Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting SystemsCraig C. Squier, Friedrich Otto. RTA 1987: 74-82
- Cross-Sections for Finitely Presented Monoids with Decidable Word ProblemsFriedrich Otto, Masashi Katsura, Yuji Kobayashi. RTA 1997: 53-67
- Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and GroupsKlaus Madlener, Friedrich Otto. JSC, 1(4):383-418, 1985.
- Undecidability Results for Monoids with Linear-Time Decidable Word ProblemsMasashi Katsura, Yuji Kobayashi, Friedrich Otto. isaac 2000: 278-289 [doi]
- Using String-Rewriting for Solving the Word Problem for Finitely Presented GroupsKlaus Madlener, Friedrich Otto. ipl, 24(5):281-284, 1987.