@inproceedings{GlHM10a,
  title = "Optimized Description Logic Reasoning via Core Blocking",
  author = "Birte Glimm and Ian Horrocks and Boris Motik",
  year = "2010",
  booktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)",
  editor = "J\"{u}rgen Giesl and Reiner H\"{a}hnle",
  pages = "457--471",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2010/GlHM10a.pdf",
  volume = "6173",
}