H. Zhou, D. Ouyang, X. Zhao, and L. Zhang, “Two Compacted Models for Efficient Model-Based Diagnosis”, AAAI, vol. 36, no. 4, pp. 3885-3893, Jun. 2022.