@misc{indiciae859802013d85,
  title = {An ExpTime Procedure for Description Logic \$\textbackslash{}mathcal\{ALCQI\}\$ (Draft)},
  author = {Yu Ding},
  year = {2007},
  url = {https://arxiv.org/abs/cs/0703051},
  note = {Source identifier: cs/0703051}
}