The tale of the quantifier alternation hierarchy of first-order logic over words
Thomas Place, Marc Zeitoun · ACM SIGLOG News · 2015
In this survey, we present ideas developed until recently in order to understand the expressive power of logical fragments in the quantifier alternation hierarchy of first-order logic interpreted on finite words.