Classen, J., & Liu, D. (2026). On the Size Complexity and Decidability of First-Order Progression.
Chicago Style (17th ed.) CitationClassen, Jens, and Daxin Liu. On the Size Complexity and Decidability of First-Order Progression. 2026.
MLA (9th ed.) CitationClassen, Jens, and Daxin Liu. On the Size Complexity and Decidability of First-Order Progression. 2026.
Warning: These citations may not always be 100% accurate.