M. Pfluger, D. Tena Cucala, and E. V. Kostylev, “Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic”, AAAI, vol. 38, no. 13, pp. 14608-14616, Mar. 2024.