TITLE     : A minimal deductive system for RDFS with negative statements
AUTHOR(S) : Straccia U., Casini G.
TYPE      : Conference article
YEAR      : 2022
CODE      : 469827

*** DO NOT EDIT THIS FILE ***