Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2. - Stan P. Hauke; Przemyslaw Andrzej Walega (CoRR, 2025)