Implicit enumeration of strongly connected components | IEEE Conference Publication | IEEE Xplore