Carsten Lutz, Quentin Manière, und Robin Nolte. Querying Circumscribed Description Logic Knowledge Bases. arXiv, Juni 2023. [PUMA: Artificial_Intelligence_(cs.AI) Computational_Complexity_(cs.CC) FOS:_Computer_and_information_sciences Logic_in_Computer_Science_(cs.LO)]