@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" }