Pfluger, M.; Tena Cucala, D.; Kostylev, E. V. Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. AAAI 2024, 38, 14608-14616.