"Infinite and Bi-infinite Words with Decidable Monadic Theories."

Dietrich Kuske, Jiamou Liu, Anastasia Moskvina (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics