T. Graf, “A Subregular Bound on the Complexity of Lexical Quantifiers”, Proceedings of the AC, pp. 455–464, Dec. 2019, doi: 10.53437/xg1cd144.