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 Apr. 23];36(6):1415-46. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1415