@inproceedings{GlHS08a,
  title = "Deciding $\mathcal{SHOQ}^\sqcap$ Knowledge Base Consistency using Alternating Automata",
  author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
  year = "2008",
  booktitle = "Proc.\ of the 2008 Description Logic Workshop (DL~2008)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2008/GlHS08a.pdf",
}