HS-DAG by Raymond Reiter with the correcteions by Russell Greiner, Barbara A. Smith and Ralph W. Wilkerson: R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57 ...