Fast graph simplification for interleaved Dyck-reachability.

Yuanbo Li, Qirun Zhang, Thomas W. Reps

Browse the full PLDI paper archive.