Gerhard Fleischanderl Thomas Havelka Herwig Schreiner Markus Stumptner Franz Wotawa DiKe - a model-based diagnosis kernel and its application. 17-30 2002 15 AI Commun. 1 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=1&spage=17 db/journals/aicom/aicom15.html#FleischanderlHSSW02