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