Bibitem:

@INPROCEEDINGS{Straccia93,
AUTHOR	="Straccia, Umberto",
TITLE	="Default inheritance reasoning in hybrid {KL-ONE}-style logics",
BOOKTITLE	="Proceedings of IJCAI-93, 13th International Joint Conference 
on Artificial Intelligence",
YEAR	="1993",
ADDRESS	="Chambery, France",
PAGES	="676--681"
}