Going Higher in First-Order Quantifier Alternation Hierarchies on Words. - PLACE, THOMAS; ZEITOUN, MARC (Journal of the ACM, 2019)