Jean Christoph Jung, Carsten Lutz, Thomas Zeume. Decidability and Complexity of ALCOIF with Transitive Closure (and More). In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
@inproceedings{JungLZ19,
title = {Decidability and Complexity of ALCOIF with Transitive Closure (and More)},
author = {Jean Christoph Jung and Carsten Lutz and Thomas Zeume},
year = {2019},
url = {http://ceur-ws.org/Vol-2373/paper-17.pdf},
researchr = {https://researchr.org/publication/JungLZ19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019},
editor = {Mantas Simkus and Grant E. Weddell},
volume = {2373},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}