@misc{indiciae9ac9f45adf30,
  title = {A Polynomial Time Subsumption Algorithm for Nominal Safe \$\textbackslash{}mathcal\{ELO\}\_\textbackslash{}bot\$ under Rational Closure},
  author = {Giovanni Casini and Umberto Straccia and Thomas Meyer},
  year = {2018},
  doi = {10.1016/j.ins.2018.09.037},
  url = {https://arxiv.org/abs/1802.08201},
  note = {Source identifier: 1802.08201}
}