TY  - RPRT
TI  - Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions
AU  - Viorica Sofronie-Stokkermans
PY  - 2013
UR  - https://arxiv.org/abs/1311.2973
ID  - 1311.2973
ER  -