H. Yang, Y. Ma, and N. Bidoit, “Efficient Extraction of EL-Ontology Deductive Modules”, AAAI, vol. 37, no. 5, pp. 6575-6582, Jun. 2023.