Pfluger, M., Tena Cucala, D. and Kostylev, E. V. (2024) “Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(13), pp. 14608-14616. doi: 10.1609/aaai.v38i13.29377.