EasyChair Smart Slide
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)