Test generation for large logic networks. - Peter S. Bottorff; Richard E. France; N. H. Garges; E. J. Orosz (DAC, 1977)