@misc{indiciae3bd35a98bb5b,
  title = {Locality and applications to subsumption testing and interpolation in \$\textbackslash{}mathcal\{EL\}\$ and some of its extensions},
  author = {Viorica Sofronie-Stokkermans},
  year = {2013},
  url = {https://arxiv.org/abs/1311.2973},
  note = {Source identifier: 1311.2973}
}