The Regular Languages of First-Order Logic with One Alternation.

Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume

Browse the full LICS paper archive.