Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid EL-Unification is NP-complete. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 29-40, CEUR-WS.org, 2013. [doi]
@inproceedings{BaaderGM13-0,
title = {Hybrid EL-Unification is NP-complete},
author = {Franz Baader and Oliver Fernandez Gil and Barbara Morawska},
year = {2013},
url = {http://ceur-ws.org/Vol-1014/paper_9.pdf},
researchr = {https://researchr.org/publication/BaaderGM13-0},
cites = {0},
citedby = {0},
pages = {29-40},
booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013},
editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},
volume = {1014},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}