@Article{BCP11,
  author =       "J. Barnat and J. Chaloupka and J. Van De Pol",
  title =        "{Distributed Algorithms for SCC Decomposition}",
  journal =      "Journal of Logic and Computation",
  volume =       "21",
  number =       "1",
  pages =        "23--44",
  doi =          "10.1093/logcom/exp003",
  year =         "2011",
  url =          "http://logcom.oxfordjournals.org/content/21/1/23"
}