[1]
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 (May 2021), 6193-6201.