@inproceedings{GlHM10c,
  title = "Optimized Description Logic Reasoning via Core Blocking",
  author = "Birte Glimm and Ian Horrocks and Boris Motik",
  year = "2010",
  booktitle = "Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)",
}