Yang, H.; Ma, Y.; Bidoit, N. Efficient Extraction of EL-Ontology Deductive Modules. AAAI 2023, 37, 6575-6582.