"Undecidability of the State Complexity of Composed Regular Operations."

Arto Salomaa, Kai Salomaa, Sheng Yu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics