TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. - Xiangfu Zhao; Xiangrong Tong; Dantong Ouyang; Liming Zhang 005; Yanzhi Hou (IEEE Trans. Reliab., 2021)