Sound Logical Explanations for Mean Aggregation Graph Neural Networks - Morris, Matthew; Horrocks, Ian (Advances in Neural Information Processing Systems, 2025)