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