Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.

Franz Baader Bernhard Hollunder Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. 41-68 1995 15 J. Autom. Reasoning 1 db/journals/jar/jar15.html#BaaderH95a