FDT is undecidable for finitely presented monoids with solvable word problems - Otto, Friedrich; Sattler-Klein, Andrea (GhK, 1997)