Zhang X, Feng Z, Wu W, Hossain M, MacCaull W. On the Satisfiability of Quasi-Classical Description Logics. Comput. Inform. [Internet]. 2018 Feb. 9 [cited 2024 Nov. 7];36(6):1415-46. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2017_6_1415