Giovanni Casini, Umberto Straccia, Thomas Meyer. A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci., 501:588-620, 2019. [doi]
@article{CasiniSM19, title = {A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure}, author = {Giovanni Casini and Umberto Straccia and Thomas Meyer}, year = {2019}, doi = {10.1016/j.ins.2018.09.037}, url = {https://doi.org/10.1016/j.ins.2018.09.037}, researchr = {https://researchr.org/publication/CasiniSM19}, cites = {0}, citedby = {0}, journal = {Inf. Sci.}, volume = {501}, pages = {588-620}, }