1. Blumensath, A., Colcombet, T., Parys, P.: On a fragment of AMSO and tiling systems. In: STACS, pp. 19:1–19:14 (2016)
2. Lecture Notes in Computer Science;M Bojańczyk,2004
3. Bojańczyk, M.: Weak MSO with the unbounding quantifier. Theor. Comput. Syst. 48(3), 554–576 (2011)
4. Lecture Notes in Computer Science;M Bojańczyk,2014
5. Bojańczyk, M., Colcombet, T.: Bounds in $$\omega $$ -regularity. In: LICS, pp. 285–296 (2006)