TITLE     : A computationally tractable terminological logic
AUTHOR(S) : Sebastiani F., Straccia U.
TYPE      : Conference article
YEAR      : 1991
CODE      : 227014

*** DO NOT EDIT THIS FILE ***