First-order properties of trees, star-free expressions, and aperiodicity
RAIRO-Theor. Inf. Appl., 25 2 (1991) 125-145
Published online: 01 February 2017
DOI: 10.1051/ita/1991250201251