Provably expressive temporal graph networks - Souza, Amauri; Mesquita, Diego; Kaski, Samuel; Garg, Vikas (Advances in Neural Information Processing Systems, 2022)