The Boolean Difference and Multiple Fault Analysis. - Chia-Tai Ku; Gerald M. Masson (IEEE Trans. Computers, 1975)