%0 Journal Article %1 journals/corr/BaaderBM16 %A Baader, Franz %A Borgwardt, Stefan %A Morawska, Barbara %D 2016 %J Logical Methods in Computer Science %K dblp %N 4 %T Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#BaaderBM16 %V 12

@article{journals/corr/BaaderBM16, added-at = {2019-05-14T00:00:00.000+0200}, author = {Baader, Franz and Borgwardt, Stefan and Morawska, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2235d38121621b0af0ad8c5610eba216c/dblp}, ee = {http://arxiv.org/abs/1609.05621}, interhash = {e7dd631775d45fa663c39dca2bb2ac4b}, intrahash = {235d38121621b0af0ad8c5610eba216c}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 4, timestamp = {2019-09-27T09:07:53.000+0200}, title = {Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#BaaderBM16}, volume = 12, year = 2016 }