TY  - RPRT
TI  - I/O efficient bisimulation partitioning on very large directed acyclic graphs
AU  - Jelle Hellings
AU  - George H. L. Fletcher
AU  - Herman Haverkort
PY  - 2011
DO  - 10.1145/2213836.2213899
UR  - https://arxiv.org/abs/1112.0857
ID  - 1112.0857
ER  -