Schönherr, M.; Lutz, C. Logical Characterizations of GNNs With Mean Aggregation. AAAI 2026, 40, 25218-25225.