M. Schönherr and C. Lutz, “Logical Characterizations of GNNs with Mean Aggregation”, AAAI, vol. 40, no. 30, pp. 25218–25225, Mar. 2026.