[1]
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 (Apr. 2020), 2854-2861. DOI:https://doi.org/10.1609/aaai.v34i03.5675.