TY  - RPRT
TI  - Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
AU  - Franz Baader
AU  - Stefan Borgwardt
AU  - Barbara Morawska
PY  - 2016
DO  - 10.2168/lmcs-12(4:1)2016
UR  - https://arxiv.org/abs/1609.05621
ID  - 1609.05621
ER  -