@article{BCP10,
 author = {Jiří Barnat and Jakub Chaloupka and Jaco van de Pol},
 doi = {10.1093/logcom/exp003},
 eprint = {http://logcom.oxfordjournals.org/cgi/reprint/exp003v1.pdf},
 journal = {Journal of Logic and Computation},
 keywords = {divine},
 title = {{Distributed Algorithms for SCC Decomposition}},
 url = {http://logcom.oxfordjournals.org/cgi/content/abstract/exp003?ijkey=lCDPRRuADtjeFuo&keytype=ref},
 year = {2010}
}