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)