@article{KazMot:07:SHOIQ_JAR,
  title = "A Resolution-Based Decision Procedure for {SHOIQ}",
  author = "Yevgeny Kazakov and Boris Motik",
  year = "2008",
  journal = "Journal of Automated Reasoning",
  number = "2-3",
  pages = "89-116",
  url = "http://www.springerlink.com/content/arh7q565w015464p/?p=9bcbcb9db580413e993d40de33e31385&pi=1",
  volume = "40",
}