Selected papers that cite this one P. Turakainen. The undecidability of some equivalence problems concerning ngsm's and finite substitutions. Theoretical Computer Science, 174(1-2):269-274, 15 March 1997. Note.