Chia-Tai Ku Gerald M. Masson The Boolean Difference and Multiple Fault Analysis. 62-71 1975 24 IEEE Trans. Computers 1 db/journals/tc/tc24.html#KuM75