The Regular Languages of First-Order Logic with One Alternation
arXiv (2022) - Comments
doi: 10.48550/arxiv.2203.06075 

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume