TITLE     : A sequent calculus for reasoning in four-valued Description Logics
AUTHOR(S) : Straccia U
TYPE      : Conference article
YEAR      : 1997
CODE      : 226975

*** DO NOT EDIT THIS FILE ***