@INPROCEEDINGS{Sebastiani91a,
AUTHOR	="Sebastiani, Fabrizio and Straccia, Umberto",
TITLE	="A computationally tractable terminological logic",
BOOKTITLE	="Proceedings of SCAI-91, 3rd Scandinavian Conference on 
Artificial Intelligence",
ADDRESS	="Roskilde, Denmark",
YEAR	="1991",
PAGES	="307--315"
}