On the Decidability of Some Problems Concerning Morphisms, Regular Sets, and Post Correspondence Problem.

Paavo Turakainen On the Decidability of Some Problems Concerning Morphisms, Regular Sets, and Post Correspondence Problem. 209-221 1999 38 Fundam. Inform. 1-2 db/journals/fuin/fuin38.html#Turakainen99