Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
monadic second-order logic of one successor
scientific article; zbMATH DE number 7191319