TITLE     : A terminological default logic (Preliminary Draft)
AUTHOR(S) : Straccia U.
TYPE      : Conference article
YEAR      : 1992
CODE      : 227018

*** DO NOT EDIT THIS FILE ***