Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
scientific article; zbMATH DE number 6692032
scientific article