Aiguo Xie Peter A. Beerel Implicit enumeration of strongly connected components. 37-40 1999 conf/iccad/1999 ICCAD http://portal.acm.org/citation.cfm?id=339492.339563 db/conf/iccad/iccad1999.html#XieB99