A Tableaux Decision Procedure for SHOIQ
From Tetherless World Wiki
(Redirected from DBLP:conf/ijcai/HorrocksS05)
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/HorrocksS05, title={A Tableaux Decision Procedure for SHOIQ}, pages={448-453}, year={2005}, crossref={DBLP:conf/ijcai/2005}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers/0759.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#HorrocksS05}, author={Ian Horrocks and Ulrike Sattler} }\end{bibtex}
