Friedhelm Hinz Jürgen Dassow A undecidability result for regular anguages and its applications to regulated rewriting. 168-173 1989 38 Bulletin of the EATCS db/journals/eatcs/eatcs38.html#HinzD89