Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. Efficient Reasoning in ::::EL+::::. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{BaaderLS06:0,
title = {Efficient Reasoning in ::::EL+::::},
author = {Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn},
year = {2006},
url = {http://www.ceur-ws.org/Vol-189/submission_8.pdf},
researchr = {https://researchr.org/publication/BaaderLS06%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
editor = {Bijan Parsia and Ulrike Sattler and David Toman},
volume = {189},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}