A correction to the algorithm in Reiter's theory of diagnosis
scientific article; zbMATH DE number 4112073