%0 Journal Article %1 journals/corr/abs-1006-2289 %A Baader, Franz %A Morawska, Barbara %D 2010 %J Logical Methods in Computer Science %K dblp %N 3 %T Unification in the Description Logic EL %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs6.html#abs-1006-2289 %V 6

@article{journals/corr/abs-1006-2289, added-at = {2018-08-13T00:00:00.000+0200}, author = {Baader, Franz and Morawska, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a177d2f39098bfdbab62aeb1c16450ae/dblp}, ee = {http://arxiv.org/abs/1006.2289}, interhash = {f89e12d4d70184f4e312eaca2867b368}, intrahash = {a177d2f39098bfdbab62aeb1c16450ae}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-09-27T10:03:03.000+0200}, title = {Unification in the Description Logic EL}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs6.html#abs-1006-2289}, volume = 6, year = 2010 }