@article{MoSH09a,
  title = "Hypertableau Reasoning for Description Logics",
  author = "Boris Motik and Rob Shearer and Ian Horrocks",
  year = "2009",
  journal = "J.\ of Artificial Intelligence Research",
  pages = "165--228",
  url = "download/2009/MoSH09a.pdf",
  volume = "36",
}