@article{BCP2011,
 article_number = {1},
 author = {Jiří Barnat and Jakub Chaloupka and Jaco van de Pol},
 doi = {http://dx.doi.org/10.1093/logcom/exp003},
 issn = {0955-792X},
 journal = {Journal of Logic and Computation},
 keywords = {parallel algorithms; strongly connected components},
 language = {eng},
 title = {Distributed Algorithms for SCC Decomposition},
 url = {http://logcom.oxfordjournals.org/content/early/2009/02/17/logcom.exp003},
 volume = {21},
 year = {2011}
}