Bibitem:


@article{Casini18a,
Author = {Giovanni Casini and Umberto Straccia and Thomas Meyer},
Journal = {Information Sciences},
Note = {arXiv:1802.08201 [cs.AI], \url{http://arxiv.org/abs/1802.08201}, Preprint under review. Accepted for pubblication.},
Number = {xxxx},
Pages = {xxxx-xxxx},
Publisher = {Elsevier},
Title = {A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure},
Volume = {xxxx},
Doi = {https://doi.org/10.1016/j.ins.2018.09.037},
Year = {2018}
}