Randall Davis Diagnostic Reasoning Based on Structure and Behavior. 347-410 1984 24 Artif. Intell. 1-3 db/journals/ai/ai24.html#Davis84