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

Published in: FCT (1997)

Keyphrases