Efficient Automatic Diagnosis of Digital Circuits. - Heh-Tyan Liaw; Jia-Horng Tsaih; Chen-Shang Lin (ICCAD, 1990)