Aiguo Xie Peter A. Beerel Implicit enumeration of strongly connected components and anapplication to formal verification. 1225-1230 2000 19 IEEE Trans. on CAD of Integrated Circuits and Systems 10 http://doi.ieeecomputersociety.org/10.1109/43.875347 db/journals/tcad/tcad19.html#XieB00