@inproceedings{ijcai2017p149, author = {Víctor Gutiérrez-Basulto and Jean Christoph Jung}, title = {Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {1074--1080}, year = {2017}, doi = {10.24963/ijcai.2017/149}, url = {https://doi.org/10.24963/ijcai.2017/149}, }