Zhou, H., Ouyang, D., Zhao, X. and Zhang, L. (2022) “Two Compacted Models for Efficient Model-Based Diagnosis”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), pp. 3885-3893. doi: 10.1609/aaai.v36i4.20304.