A Correction to the Algorithm in Reiter's Theory of Diagnosis.

Russell Greiner Barbara A. Smith Ralph W. Wilkerson A Correction to the Algorithm in Reiter's Theory of Diagnosis. 79-88 1989 41 Artif. Intell. 1 db/journals/ai/ai41.html#GreinerSW89