First-order properties of trees, star-free expressions, and aperiodicity

Uschi Heuter
1991 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita/1991250201251 fatcat:gsrduddabnei3cfpx3wle2kd54