Géraud Sénizergues Some Decision Problems about Controlled Rewriting Systems. 281-346 1990 71 Theor. Comput. Sci. 3 db/journals/tcs/tcs71.html#Senizergues90a