Chris Liebold
The paper "Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps" co-authored by Christoph Berkholz and Jakob Nordström has been published in the October 2023 issue of the Journal of the ACM. A free copy is available via https://dl.acm.org/doi/10.1145/3195257?cid=81508704947.
The Journal of the ACM (JACM) provides coverage of the most significant work on principles of computer science, broadly construed. The scope of research covered encompasses contributions of lasting value to any area of computer science. To be accepted, a paper must be judged to be truly outstanding in its field. JACM is interested in work in core computer science and in work at the boundaries, both the boundaries of subdisciplines of computer science and the boundaries between computer science and other fields.