Calvanese et al. "Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees." International Joint Conference on Artificial Intelligence, 1999.
Markdown
[Calvanese et al. "Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/calvanese1999ijcai-reasoning/)
BibTeX
@inproceedings{calvanese1999ijcai-reasoning,
title = {{Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees}},
author = {Calvanese, Diego and De Giacomo, Giuseppe and Lenzerini, Maurizio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1999},
pages = {84-89},
url = {https://mlanthology.org/ijcai/1999/calvanese1999ijcai-reasoning/}
}