Zhang, X. (2018) “On the Satisfiability of Quasi-Classical Description Logics”, COMPUTING AND INFORMATICS, 36(6), pp. 1415–1446. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1415 (Accessed: 20 April 2024).