Efficient external-memory bisimulation on DAGs.

Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort

Browse the full SIGMOD paper archive.