@article{KlarmanEtAlJAR2011,
  author =        {Szymon Klarman and Ulle Endriss and Stefan Schlobach},
  title =         {ABox Abduction in the Description Logic ALC},
  journal =       {Journal of Automated Reasoning},
  volume =        {46},
  number =        {1},
  pages =         {43--80},
  year =          {2011},
  doi =           {10.1007/s10817-010-9168-z}
}