Donini et al. "A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2009.
Markdown
[Donini et al. "A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/donini2009ijcai-tableaux/)
BibTeX
@inproceedings{donini2009ijcai-tableaux,
title = {{A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics}},
author = {Donini, Francesco M. and Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {739-745},
url = {https://mlanthology.org/ijcai/2009/donini2009ijcai-tableaux/}
}