HR-Index: An Effective Index Method for Historical Reachability Queries over Evolving Graphs. - Yajun Yang; Hanxiao Li; Xiangju Zhu; Junhu Wang; Xin Wang 030; Hong Gao 001 (Proc. ACM Manag. Data, 2023)