@inproceedings{MoHo08a,
  title = "Individual Reuse in Description Logic Reasoning",
  author = "Boris Motik and Ian Horrocks",
  year = "2008",
  booktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2008)",
  pages = "242--258",
  url = "download/2008/MoHo08a.pdf",
}