Efficient algorithms for dynamic bidirected Dyck-reachability. - Yuanbo Li; Kris Satya; Qirun Zhang (Proc. ACM Program. Lang., 2022)