@article{Casini19,
	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.},
	Pages = {588-620},
	Publisher = {Elsevier},
	Title = {A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure},
	Volume = {501},
	Doi = {https://doi.org/10.1016/j.ins.2018.09.037},
	Year = {2019}
}