Daniel Kirsten Desert Automata and the Finite Substitution Problem. 305-316 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=305 2004 conf/stacs/2004 STACS db/conf/stacs/stacs2004.html#Kirsten04