Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic
F.baader,b.hollunder, Commonsense and Nonmonotonic Reasoning: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic, Journal of automated reasoning , 15(1), 1995, pp. 41-68