"Undecidability of Operation Problems for T0L Languages and Subclasses."

Henning Bordihn, Markus Holzer, Martin Kutrib (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics