Linh Anh Nguyen. A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ. In Ngoc Thanh Nguyen, Tien Van Do, Hoai An Le Thi, editors, Advanced Computational Methods for Knowledge Engineering. Volume 479 of Studies in Computational Intelligence, pages 331-342, Springer, 2013. [doi]
Abstract is missing.