@misc{indiciae7f2e238293ae,
  title = {Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog},
  author = {Sebastian Rudolph and Markus Krötzsch and Pascal Hitzler},
  year = {2012},
  doi = {10.2168/lmcs-8(1:12)2012},
  url = {https://arxiv.org/abs/1202.0914},
  note = {Source identifier: 1202.0914}
}