Multiple redundancy removal during test generation and synthesis. - David M. Wu; Robert M. Swanson (VTS, 1992)