Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A. and 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), pp. 6193-6201. doi: 10.1609/aaai.v35i7.16770.