%0 Journal Article %1 journals/corr/BaaderBM16 %A Baader, Franz %A Borgwardt, Stefan %A Morawska, Barbara %D 2016 %J Log. Methods Comput. Sci. %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 = {2023-09-30T00:00:00.000+0200}, author = {Baader, Franz and Borgwardt, Stefan and Morawska, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/2110b01dc5ef940c02ee9b5e8e74d60f9/dblp}, ee = {http://arxiv.org/abs/1609.05621}, interhash = {e7dd631775d45fa663c39dca2bb2ac4b}, intrahash = {110b01dc5ef940c02ee9b5e8e74d60f9}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-08T22:13:26.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 }