@misc{indiciae076bb1a74904,
  title = {Extending Unification in \$\textbackslash{}mathcal\{EL\}\$ to Disunification: The Case of Dismatching and Local Disunification},
  author = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  year = {2016},
  doi = {10.2168/lmcs-12(4:1)2016},
  url = {https://arxiv.org/abs/1609.05621},
  note = {Source identifier: 1609.05621}
}