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]
No references recorded for this publication.
No citations of this publication recorded.