book-chapter · 1996A conceptual and formal model of a diagnostic reasoner2 citationsDOI: https://doi.org/10.1007/3-540-61273-4_6