Antonio Lioy, Enrico Macii, Angelo Raffaele Meo, Matteo Sonza Reorda. An algebraic approach to test generation for sequential circuits. In First Great Lakes Symposium on VLSI, 1991, Kalamazoo, MI, USA, March 1-2, 1991. pages 115-120, IEEE, 1991. [doi]
Abstract is missing.