Zhou, H.; Ouyang, D.; Zhao, X.; Zhang, L. Two Compacted Models for Efficient Model-Based Diagnosis. AAAI 2022, 36, 3885-3893.