Efficient external-memory bisimulation on DAGs. (2012)

by J Hellings, G H L Fletcher, H Haverkort
Venue:In SIGMOD,