@article{article, title = {{Spectrum of FO Logic With Quantifier Depth 4 Is Finite}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{http://dx.doi.org/10.1145/3641547 }}, year = {{2024}}, month = {{1}}, author = {{Yarovikov Y and Zhukovskii M}}, doi = {{10.1145/3641547}}, journal = {{ACM Transactions on Computational Logic}}, note = {{Accessed on 2025/07/10}}}