Mattias Krysander, Jan Åslund, Mattias Nyberg. An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(1):197-206, 2008. [doi]
Abstract is missing.