B. C. Grau, E. Feng, and P. A. Wałęga, “The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic”, AAAI, vol. 40, no. 23, pp. 19135–19142, Mar. 2026.