@inbook {8797928e5d8a4c03862477f83c301c0b,
	title = {Deductive Diagnosis of Digital Circuits},
	booktitle = {IFIP World Computer Congress},
	year = {2004},
	note = {n/a},
	month = {1},
	pages = {155{\textendash}166},
	abstract = {n/a},
	isbn = {1-4020-8150-2},
	author = {Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves} and Barahona, {Pedro Manuel Corr{\^e}a Calvente de} and Azevedo, {Francisco de Moura E Castro Ascens{\~a}o de}}
}
