@inproceedings{MoSH07b,
  title = "A Hypertableau Calculus for $\mathcal{SHIQ}$",
  author = "Boris Motik and Rob Shearer and Ian Horrocks",
  year = "2007",
  booktitle = "Proc.\ of the 2007 Description Logic Workshop (DL~2007)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2007/MoSH07b.pdf",
  volume = "250",
}