TY  - RPRT
TI  - Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
AU  - Christoph Berkholz
AU  - Jakob Nordström
PY  - 2016
UR  - https://arxiv.org/abs/1608.08704
ID  - 1608.08704
ER  -