TY  - RPRT
TI  - Unification in the Description Logic EL
AU  - Franz Baader
AU  - Barbara Morawska
PY  - 2010
DO  - 10.2168/lmcs-6(3:17)2010
UR  - https://arxiv.org/abs/1006.2289
ID  - 1006.2289
ER  -