Grau, B. C.; Feng, E.; Wałęga, P. A. The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. AAAI 2026, 40, 19135-19142.