@inproceedings{ShMH08a,
  title = "Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi",
  author = "Rob Shearer and Boris Motik and Ian Horrocks",
  year = "2008",
  booktitle = "Proc.\ of the 2008 Description Logic Workshop (DL~2008)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2008/MoSH08a.pdf",
}