Ferucio Laurentiu Tiplea Erkki Mäkinen On the Complexity of a Problem on Monadic String Rewriting Systems. 187-194 2001 DCFS conf/dcfs/2001 db/conf/dcfs/dcfs2001.html#TipleaM01