TITLE     : On the tractability of terminological logics with numerical restrictions
AUTHOR(S) : Sebastiani F., Straccia U.
TYPE      : Journal article
YEAR      : 1992
CODE      : 227017

*** DO NOT EDIT THIS FILE ***