Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan: Orca: Scalable Temporal Graph Neural Network Training with Theoretical Guarantees. Proc. ACM Manag. Data 1(1): 52:1-52:27 (2023)