FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems.

Friedrich Otto, Andrea Sattler-Klein

Browse the full FCT paper archive.