A graph traversal based framework for sequential logic implication with an application to C-cycle redundancy identification | IEEE Conference Publication | IEEE Xplore