DiKe - a model-based diagnosis kernel and its application. - Gerhard Fleischanderl; Thomas Havelka; Herwig Schreiner; Markus Stumptner; Franz Wotawa (AI Commun., 2002)