PDT is undecidable for finitely presented monoids with solvable word problems (1997)Otto, F.Beitrag in einem Tagungsband