"A Test Theory of the Model-Based Diagnosis."

Xuenong Zhang, Yunfei Jiang, Aixiang Chen (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics