Jung, J. C., Lutz, C. and Wolter, F. (2020) “Least General Generalizations in Description Logic: Verification and Existence”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), pp. 2854-2861. doi: 10.1609/aaai.v34i03.5675.