Sebastiani, F. and Straccia, U. (2012) “Default Reasoning in a Terminological Logic”, Computing and Informatics, 14(3), pp. 225–251. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/228 (Accessed: 1 May 2025).