Browse wiki

@inproceedings{RKH:OBDD08,
    author    = {Sebastian Rudolph and Markus Kr\"{o}tzsch
                 and Pascal Hitzler},
    title     = {Terminological Reasoning in $\mathcal{SHIQ}$ with 
                 Ordered Binary Decision Diagrams},
    pages     = {529--534},
    booktitle = {Proceedings of the 23rd AAAI Conference on
                 Artificial Intelligence (AAAI'08)},
    publisher = {AAAI Press},
    year      = {2008}
}