PP-2010-06: Klarman, Szymon and Endriss, U. and Schlobach, Stefan (2010) ABox Abduction in the Description Logic ALC. [Report]
MoL-2008-03: Klarman, Szymon (2008) ABox Abduction in Description Logic. [Report]