@article{DBLP:journals/corr/abs-1802-08201,
  author    = {Giovanni Casini and
               Umberto Straccia and
               Thomas Meyer},
  title     = {A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\({}_{\mbox{{\(\perp\)}}}\)
               under Rational Closure},
  journal   = {CoRR},
  volume    = {abs/1802.08201},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.08201},
  archivePrefix = {arXiv},
  eprint    = {1802.08201},
  timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1802-08201.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LDEzZK9rBjgHS3jxk","bibbaseid":"casini-straccia-meyer-apolynomialtimesubsumptionalgorithmfornominalsafeelomboxperpunderrationalclosure-2018","author_short":["Casini, G.","Straccia, U.","Meyer, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Casini"],"suffixes":[]},{"firstnames":["Umberto"],"propositions":[],"lastnames":["Straccia"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Meyer"],"suffixes":[]}],"title":"A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\(_\\mbox\\(\\perp\\)\\) under Rational Closure","journal":"CoRR","volume":"abs/1802.08201","year":"2018","url":"http://arxiv.org/abs/1802.08201","archiveprefix":"arXiv","eprint":"1802.08201","timestamp":"Thu, 31 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1802-08201.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1802-08201,\n author = {Giovanni Casini and\n Umberto Straccia and\n Thomas Meyer},\n title = {A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\({}_{\\mbox{{\\(\\perp\\)}}}\\)\n under Rational Closure},\n journal = {CoRR},\n volume = {abs/1802.08201},\n year = {2018},\n url = {http://arxiv.org/abs/1802.08201},\n archivePrefix = {arXiv},\n eprint = {1802.08201},\n timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1802-08201.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Casini, G.","Straccia, U.","Meyer, T."],"key":"DBLP:journals/corr/abs-1802-08201","id":"DBLP:journals/corr/abs-1802-08201","bibbaseid":"casini-straccia-meyer-apolynomialtimesubsumptionalgorithmfornominalsafeelomboxperpunderrationalclosure-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1802.08201"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/s/UmbertoStraccia.bib","dataSources":["6irvXp6A5KCALDdaf"],"keywords":[],"search_terms":["polynomial","time","subsumption","algorithm","nominal","safe","elo","mbox","perp","under","rational","closure","casini","straccia","meyer"],"title":"A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\(_\\mbox\\(\\perp\\)\\) under Rational Closure","year":2018}