Systolic tree \(\omega\)-languages: The operational and the logical view
scientific article; zbMATH DE number 1495221