1. Baader F, Hollunder B. How to prefer more specific defaults in terminological default logic. In: Bajcsy R, editor. Proceedings of the 13th international joint conference on artificial intelligence (IJCAI). USA: Morgan Kaufmann Publishers; 1993. pp 669–675
2. Bonatti P, Faella M, Petrova IM, Sauro L (2015) A new semantics for overriding in description logics. Artif Intell 222:1–48
3. Bonatti P, Faella M, Sauro L (2011) Defeasible inclusions in low-complexity DLs. J Artif Intell Res 42:719–764
4. Bonatti P, Lutz C, Wolter F (2009) The complexity of circumscription in description logic. J Artif Intell Res 35:717–773
5. Booth R, Meyer T, Varzinczak I. A propositional typicality logic for extending rational consequence. In: Fermé EL, Gabbay DM, Simari GR, editors, Trends in belief revision and argumentation dynamics. vol 48 of Studies in logic–Logic and cognitive systems. King’s College Publications; 2013. pp 123–154.