@misc {IOPORT.70170261,
    author       = {Keller, Uwe},
    title        = {Towards novel techniques for reasoning in expressive description logics based on binary decision diagrams},
    howpublished = {KWEPSY (2007).},
    year         = {2007},
    identifier   = {70170261},
}