Efficient Sink-Reachability Analysis via Graph Reduction

@article{dietrich2022sink,
  title = {Efficient Sink-Reachability Analysis via Graph Reduction},
  author = {Jens Dietrich and Lijun Chang and Long Qian and Lyndon M. Henry and Catherine McCartin and Bernhard Scholz},
  year = {2022},
  journal = {IEEE Transactions on Knowledge and Data Engineering},
  volume = {34},
  number = {11},
  pages = {5321--5335},
  doi = {10.1109/TKDE.2021.3052710}
}