@inproceedings{KazakovMotik:06:SHOIQ,
  title = "A Resolution-Based Decision Procedure for {SHOIQ}.",
  author = "Yevgeny Kazakov and Boris Motik",
  year = "2006",
  booktitle = "IJCAR",
  pages = "662-677",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/v83lg14337264048/",
  volume = "4130",
  doi = "10.1007/11814771_53",
}