Zhang, X. et al. 2018. On the Satisfiability of Quasi-Classical Description Logics. COMPUTING AND INFORMATICS. 36, 6 (Feb. 2018), 1415–1446.