Roderick Bloem Harold N. Gabow Fabio Somenzi An Algorithm for Strongly Connected Component Analysis in <i>n</i> log <i>n</i> Symbolic Steps. 37-56 2006 28 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-4341-z db/journals/fmsd/fmsd28.html#BloemGS06