Ron Rymon Goal-Directed Diagnosis - A Diagnostic Reasoning Framework for Exploratory-Corrective Domains. 257-297 1996 84 Artif. Intell. 1-2 db/journals/ai/ai84.html#Rymon96 http://dx.doi.org/10.1016/0004-3702(95)00097-6