Bibitem:

@ARTICLE{Sebastiani95,
AUTHOR	="Sebastiani, Fabrizio and Straccia, Umberto",
TITLE	="Default Reasoning in a Terminological Logic",
JOURNAL	="Computers and Artificial Intelligence",
YEAR	="1995",
VOLUME	="14",
NUMBER  ="3",
PAGES	="225--251"
}