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