First-order properties of trees, star-free expressions, and aperiodicityUschi HeuterRAIRO-Theor. Inf. Appl., 25 2 (1991) 125-145DOI: https://doi.org/10.1051/ita/1991250201251
