Fast test generation for sequential circuits. - Todd P. Kelsey; Kewal K. Saluja (ICCAD, 1989)

An Efficient Algorithm for Sequential Circuit Test Generation. - Todd P. Kelsey; Kewal K. Saluja; Soo Young Lee (IEEE Trans. Computers, 1993)