Automated Diagnosis for Digital Circuits. - Alessandra Fanni; Alessandro Giua; M. G. Manca (AIMSA, 1988)