Shangmin Luan Lorenzo Magnani Guozhong Dai An Algebraic Approach to Model-Based Diagnosis. 467-496 2007 Model-Based Reasoning in Science, Technology, and Medicine http://dx.doi.org/10.1007/978-3-540-71986-1_27 series/sci/2007-64 db/series/sci/sci64.html#LuanMD07