@inproceedings{Haifani_IJCAR2022,
TITLE = {Connection-Minimal Abduction in $\mathcal{EL}$ via Translation to {FOL}},
AUTHOR = {Haifani, Fajar and Koopmann, Patrick and Tourret, Sophie and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-031-10768-9},
URL = {https://rdcu.be/cY8T3},
DOI = {10.1007/978-3-031-10769-6_12},
PUBLISHER = {Springer},
YEAR = {2022},
DATE = {2022},
BOOKTITLE = {Automated Reasoning (IJCAR 2022)},
EDITOR = {Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk},
PAGES = {188--207},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {13385},
ADDRESS = {Haifa, Israel},
}