@article{connectionminimalabductioninelvia, title = {Connection-minimal Abduction in EL via Translation to FOL -- Technical Report}, author = {Fajar Haifani and Patrick Koopmann and Sophie Tourret and Christoph Weidenbach}, year = {2022}, eprint = {2205.08449}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2205.08449v2}, }