Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

Rudolph et al. "Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams." AAAI Conference on Artificial Intelligence, 2008.

[Rudolph et al. "Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/rudolph2008aaai-terminological/)

@inproceedings{rudolph2008aaai-terminological,
  title     = {{Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams}},
  author    = {Rudolph, Sebastian and Krötzsch, Markus and Hitzler, Pascal},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {529-534},
  url       = {https://mlanthology.org/aaai/2008/rudolph2008aaai-terminological/}
}