[alferes2004deductive]
Deductive diagnosis of digital circuits
Artificial Intelligence Applications and Innovations,
2004
[frohlich1998drum]
DRUM-II: Efficient Model Based Diagnosis of Technical Systems
1998
[lucas1997symbolic]
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review 12(02),
1997
[de1987diagnosing]
Diagnosing multiple faults
Artificial intelligence 32(1),
1987