On the decidability of monadic second-order logic with arithmetic predicates - Berthé, V; Karimov, T; Nieuwveld, J; Ouaknine, J; Vahanwala, M; Worrell, J (LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024)