Franz Baader, Stefan Borgwardt, Barbara Morawska. Dismatching and Local Disunification in EL (Extended Abstract). In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Abstract is missing.