Misra, A., Provan, G., Karsai, G., Bloor, G., & Scarl, E. (1998). A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties. In IEEE International Conference on Systems, Man and Cybernetics. San Diego, CA. (Original work published 2025)