Shobha Vasudevan E. Allen Emerson Jacob A. Abraham Improved verification of hardware designs through antecedent conditioned slicing. 89-101 2007 9 STTT 1 http://dx.doi.org/10.1007/s10009-006-0022-x db/journals/sttt/sttt9.html#VasudevanEA07