Barloy, C., Cadilhac, M., Paperman, C., & Straubing, H. (2025). The Alternation Hierarchy of First-Order Logic on Words is Decidable.
Chicago Style (17th ed.) CitationBarloy, Corentin, Michaël Cadilhac, Charles Paperman, and Howard Straubing. The Alternation Hierarchy of First-Order Logic on Words Is Decidable. 2025.
MLA (9th ed.) CitationBarloy, Corentin, et al. The Alternation Hierarchy of First-Order Logic on Words Is Decidable. 2025.
Warning: These citations may not always be 100% accurate.