Hustadt and Schmidt. "On the Relation of Resolution and Tableaux Proof Systems for Description Logics." International Joint Conference on Artificial Intelligence, 1999.
Markdown
[Hustadt and Schmidt. "On the Relation of Resolution and Tableaux Proof Systems for Description Logics." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/hustadt1999ijcai-relation/)
BibTeX
@inproceedings{hustadt1999ijcai-relation,
title = {{On the Relation of Resolution and Tableaux Proof Systems for Description Logics}},
author = {Hustadt, Ullrich and Schmidt, Renate A.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1999},
pages = {110-117},
url = {https://mlanthology.org/ijcai/1999/hustadt1999ijcai-relation/}
}