@INPROCEEDINGS{Straccia92, AUTHOR ="Straccia, Umberto", TITLE ="A terminological default logic", BOOKTITLE ="European research consortium for informatics and mathematics workshop on theoretical and experimental aspects of knowledge representation", YEAR ="1992", ADDRESS ="Pisa, PI" }