Baader and Laux. "Terminological Logics with Modal Operators." International Joint Conference on Artificial Intelligence, 1995. doi:10.22028/D291-24954
Markdown
[Baader and Laux. "Terminological Logics with Modal Operators." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/baader1995ijcai-terminological/) doi:10.22028/D291-24954
BibTeX
@inproceedings{baader1995ijcai-terminological,
title = {{Terminological Logics with Modal Operators}},
author = {Baader, Franz and Laux, Armin},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {808-815},
doi = {10.22028/D291-24954},
url = {https://mlanthology.org/ijcai/1995/baader1995ijcai-terminological/}
}