Understanding the complexity of axiom pinpointing in lightweight description logics
scientific article; zbMATH DE number 6807699
scientific article