TITLE     : A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure
AUTHOR(S) : Casini G, Straccia U, Meyer T
TYPE      : Journal article
YEAR      : 2019
CODE      : 405194

*** DO NOT EDIT THIS FILE ***