Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6193-6201. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16770