José Júlio Alferes Francisco Azevedo Pedro Barahona Carlos Viegas Damásio Terrance Swift Deductive Diagnosis of Digital Circuits. 155-166 2004 conf/ifip12/2004 AIAI db/conf/ifip12/aiai2004.html#AlferesABDS04