Peter Struss Gregory M. Provan Johan de Kleer Gautam Biswas Special Issue on Model-Based Diagnostics. 870-873 2010 40 IEEE Trans. Syst. Man Cybern. Part A 5 https://doi.org/10.1109/TSMCA.2010.2055210 db/journals/tsmc/tsmca40.html#StrussPKB10