Hauke, S. P.; Wałęga, P. A. Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2. AAAI 2026, 40, 21594-21601.