Tommaso Di Noia Eugenio Di Sciascio Francesco M. Donini A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_52.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#NoiaSD09