1. Sound, complete, linear-space, best-first diagnosis search;Rodler,2020
2. Linear-space best-first diagnosis search;Rodler,2021
3. A theory of diagnosis from first principles;Reiter;Artif. Intell.,1987
4. Diagnosing multiple faults;de Kleer;Artif. Intell.,1987
5. Fault localization based on dynamic slicing and hitting-set computation;Wotawa,2010