@misc{indiciae08dc0db7b86e,
  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},
  url = {https://arxiv.org/abs/2205.08449},
  note = {Source identifier: 2205.08449}
}