TY  - JOUR

T1  - Spectrum of FO Logic with Quantifier Depth 4 is Finite

JO  - ACM Transactions on Computational Logic

UR  - https://doi.org/10.1145/3641547

PY  - 2024/03/28

AU  - Yarovikov Y

AU  - Zhukovskii M

ED  - 

DO  - DOI: 10.1145/3641547

PB  - Association for Computing Machinery (ACM)

VL  - 25

IS  - 2

SP  - 1

EP  - 24

Y2  - 2025/11/26

ER  -