@inproceedings{DBLP:conf/sigmod/HellingsFH12, author = {Jelle Hellings and George H. L. Fletcher and Herman J. Haverkort}, title = {Efficient external-memory bisimulation on DAGs}, booktitle = {SIGMOD Conference}, year = {2012}, pages = {553-564}, ee = {http://doi.acm.org/10.1145/2213836.2213899}, crossref = {DBLP:conf/sigmod/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/sigmod/2012, editor = {K. Sel\c{c}uk Candan and Yi Chen and Richard T. Snodgrass and Luis Gravano and Ariel Fuxman}, title = {Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012, Scottsdale, AZ, USA, May 20-24, 2012}, booktitle = {SIGMOD Conference}, publisher = {ACM}, year = {2012}, isbn = {978-1-4503-1247-9}, ee = {http://dl.acm.org/citation.cfm?id=2213836}, bibsource = {DBLP, http://dblp.uni-trier.de} }