Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization - Soeteman, Arie; ten Cate, Balder (Advances in Neural Information Processing Systems, 2025)