H. Cho “Reachability Analyses and Their Applications in Test Generation and Logic Optimization for Sequential Circuits,” 1993.
