@article(DBLP:journals/toplas/AlurH98,
 author       = {R. Alur and T. A. Henzinger},
 year         = {1998},
 title        = {Finitary Fairness},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {20},
 number       = {6},
 pages        = {1171--1194},
 doi          = {10.1145/295656.295659},
)
@unpublished(preprint201701,
 author       = {D. Barozzini and Della Monica, D. and A. Montanari and P. Sala},
 title        = {Extending $\omega$-regular languages with a strong ${T}$-constructor: {$\omega{T}$}-regular languages and counter-queue automata},
 note         = {Research Report 2017/01, Dept. of Mathematics, Computer Science, and Physics, University of Udine, Italy},
)
@inproceedings(bojan04csl,
 author       = {M. Boja\'nczyk},
 year         = {2004},
 title        = {A bounding quantifier},
 booktitle    = {CSL},
 series       = {LNCS},
 volume       = {3210},
 publisher    = {Springer},
 pages        = {41--55},
 doi          = {10.1007/978-3-540-30124-0_7},
)
@article(bojan11tcs,
 author       = {M. Boja\'nczyk},
 year         = {2011},
 title        = {Weak {MSO} with the Unbounding Quantifier},
 journal      = {Theory of Computing Systems},
 volume       = {48},
 number       = {3},
 pages        = {554--576},
 doi          = {10.1007/s00224-010-9279-2},
)
@inproceedings(DBLP:conf/lics/BojanczykC06,
 author       = {M. Boja\'nczyk and T. Colcombet},
 year         = {2006},
 title        = {Bounds in $\omega$-Regularity},
 booktitle    = {LICS},
 pages        = {285--296},
 doi          = {10.1109/LICS.2006.17},
)
@inproceedings(DBLP:conf/stacs/BojanczykPT16,
 author       = {M. Boja{\'{n}}czyk and P. Parys and S. Toru{\'{n}}czyk},
 year         = {2016},
 title        = {The {MSO+U} Theory of ({N}, {\textless}) Is Undecidable},
 booktitle    = {STACS},
 series       = {LIPIcs},
 volume       = {47},
 pages        = {21:1--21:8},
 doi          = {10.4230/LIPIcs.STACS.2016.21},
)
@inproceedings(Buchi62,
 author       = {J. R. B{\"u}chi},
 year         = {1962},
 title        = {On a decision method in restricted second order arithmetic},
 booktitle    = {Proc. of the 1960 Int. Congress on Logic, Methodology and Philosophy of Science},
 pages        = {1--11},
)
@inproceedings(jelia16,
 author       = {Della Monica, D. and A. Montanari and A. Murano and P. Sala},
 year         = {2016},
 title        = {Prompt Interval Temporal Logic},
 booktitle    = {JELIA},
 series       = {LNCS},
 volume       = {10021},
 publisher    = {Springer},
 pages        = {207--222},
 doi          = {10.1007/978-3-319-48758-8_14},
)
@article(DBLP:journals/jsyml/ElgotR66,
 author       = {C. C. Elgot and M. O. Rabin},
 year         = {1966},
 title        = {Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor},
 journal      = {J. Symb. Log.},
 volume       = {31},
 number       = {2},
 pages        = {169--181},
 doi          = {10.1002/malq.19600060105},
)
@article(DBLP:journals/fuin/HummelS12,
 author       = {S. Hummel and {M. Skrzypczak}},
 year         = {2012},
 title        = {The Topological Complexity of {MSO+U} and Related Automata Models},
 journal      = {Fundam. Inform.},
 volume       = {119},
 number       = {1},
 pages        = {87--111},
 doi          = {10.3233/FI-2012-728},
)
@article(DBLP:journals/fmsd/KupfermanPV09,
 author       = {O. Kupferman and N. Piterman and M. Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@article(DBLP:journals/corr/Skrzypczak14,
 author       = {{M. Skrzypczak}},
 year         = {2014},
 title        = {Separation Property for $\omega{B}$- and $\omega{S}$-regular Languages},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {1},
 doi          = {10.2168/LMCS-10(1:8)2014},
)
@article(McNaughton66,
 author       = {R. McNaughton},
 year         = {1966},
 title        = {Testing and Generating Infinite Sequences by a Finite Automaton},
 journal      = {Information and Control},
 volume       = {9},
 number       = {5},
 pages        = {521--530},
 doi          = {10.1016/S0019-9958(66)80013-X},
)
@inproceedings(lics2013,
 author       = {A. Montanari and P. Sala},
 year         = {2013},
 title        = {Adding an equivalence relation to the interval logic {$AB\overline B$}: complexity and expressiveness},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 pages        = {193--202},
 doi          = {10.1109/LICS.2013.25},
)
@inproceedings(DBLP:conf/lata/MontanariS13,
 author       = {A. Montanari and P. Sala},
 year         = {2013},
 title        = {Interval Logics and $\omega{B}$-Regular Languages},
 booktitle    = {LATA},
 series       = {LNCS},
 volume       = {7810},
 publisher    = {Springer},
 pages        = {431--443},
 url          = {http://dx.doi.org/10.1007/978-3-642-37064-9_38},
)