@ARTICLE{Sebastiani92,
AUTHOR	="Sebastiani, Fabrizio and Straccia, Umberto",
TITLE	="On the tractability of terminological logics with numerical 
restrictions",
JOURNAL	="Associazione italiana per l'intelligenza artificiale",
YEAR	="1992",
VOLUME	="5",
NUMBER  ="2"
}