TY  - JOUR

T1  - Spectrum of FO Logic With Quantifier Depth 4 Is Finite

JO  - ACM Transactions on Computational Logic

UR  - http://dx.doi.org/10.1145/3641547

PY  - 2024/01/22

AU  - Yarovikov Y

AU  - Zhukovskii M

ED  - 

DO  - DOI: 10.1145/3641547

PB  - Association for Computing Machinery (ACM)

Y2  - 2024/10/23

ER  -