Gutiérrez-Basulto and Jung. "Combining DL-Lite_boolN with Branching Time: A Gentle Marriage." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/149
Markdown
[Gutiérrez-Basulto and Jung. "Combining DL-Lite_boolN with Branching Time: A Gentle Marriage." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/gutierrezbasulto2017ijcai-combining/) doi:10.24963/IJCAI.2017/149
BibTeX
@inproceedings{gutierrezbasulto2017ijcai-combining,
title = {{Combining DL-Lite_boolN with Branching Time: A Gentle Marriage}},
author = {Gutiérrez-Basulto, Víctor and Jung, Jean Christoph},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {1074-1080},
doi = {10.24963/IJCAI.2017/149},
url = {https://mlanthology.org/ijcai/2017/gutierrezbasulto2017ijcai-combining/}
}