A Minimum Hitting Set Algorithm With Prejudging Mechanism for Model-Based Fault Diagnosis in Distribution Networks | IEEE Journals & Magazine | IEEE Xplore