Embedding Defaults into Terminological Knowledge Representation Formalisms (1995)

by F Baader, B Hollunder
Venue:Journal of Automated Reasoning