Zhang, X. (2018) “On the Satisfiability of Quasi-Classical Description Logics”, Computing and Informatics, 36(6), pp. 1415–1446. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/2017_6_1415 (Accessed: 7 November 2024).