William B. Thompson Paul E. Johnson James B. Moen Recognition-Based Diagnostic Reasoning. 236-238 1983 conf/ijcai/1983 IJCAI db/conf/ijcai/ijcai83.html#ThompsonJM83