@inproceedings{956, author = {Amit Misra and Gregory Provan and Gabor Karsai and George Bloor and Ethan Scarl}, title = {A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties}, year = {1998}, journal = {IEEE International Conference on Systems, Man and Cybernetics}, month = {October}, address = {San Diego, CA}, language = {eng}, }