Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract) | IEEE Conference Publication | IEEE Xplore